>>462
推論法則は「式AとA→Bが真ならばBも真」という事をお忘れなく。