「すばしこいということはないとすると搭載出来ないかまたは敬遠しないかまたは両方な」モンスターはいる
fact1: 「「良しない」ということは確かだとしたら猛反対するかあるいは抗し難くない」モンスターはいる fact2: すばしこくないモンスターは搭載出来ないか敬遠しないかあるいは両方だ
fact2 -> int1: もしもこのぽちょぽよLv.91がすばしこくないとすればそれは搭載出来ないかあるいは敬遠しないかまたはどちらもだ; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「「良しない」ということは確かだとしたら猛反対するかあるいは抗し難くない」モンスターはいる fact2: すばしこくないモンスターは搭載出来ないか敬遠しないかあるいは両方だ ; $hypothesis$ = 「すばしこいということはないとすると搭載出来ないかまたは敬遠しないかまたは両方な」モンスターはいる ; $proof$ = 
fact2 -> int1: もしもこのぽちょぽよLv.91がすばしこくないとすればそれは搭載出来ないかあるいは敬遠しないかまたはどちらもだ; int1 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis; __PROVED__