>>639
前で¬C⇒¬A(A⇒C)は証明されてるけど
それを示したからといってA⇒BやC⇒Bが自明になるわけじゃないだろ?