「もしも怖がるということはないとすれば「挟み付けないしかつ厚くない」ということは確かでない」モンスターはいる
fact1: 「仮に生え易いとすれば「御労しくないし加えて利き難くない」ということは事実でない」モンスターはいる fact2: もし仮にそのぴにゃぴよLv.28が挟み付けないとするとそのぴにゃぴよLv.28は増加出来なくてそれは儚しない fact3: 「追い落とさないなら「興味深くなくて薄暗くない」ということは成り立たない」モンスターはいる fact4: なんらかのモンスターは怖がらないとすれば「それは挟み付けないしその上厚くない」ということは嘘である fact5: もし仮にそのぴにゃぴよLv.28はすばしこいとすれば「そのぴにゃぴよLv.28は怖がるということはないししかもだらし無くない」ということは成り立つということはない
fact4 -> int1: 仮にそのぴにゃぴよLv.28は怖がるということはないとすれば「そのぴにゃぴよLv.28は挟み付けるということはなくてさらに厚くない」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「仮に生え易いとすれば「御労しくないし加えて利き難くない」ということは事実でない」モンスターはいる fact2: もし仮にそのぴにゃぴよLv.28が挟み付けないとするとそのぴにゃぴよLv.28は増加出来なくてそれは儚しない fact3: 「追い落とさないなら「興味深くなくて薄暗くない」ということは成り立たない」モンスターはいる fact4: なんらかのモンスターは怖がらないとすれば「それは挟み付けないしその上厚くない」ということは嘘である fact5: もし仮にそのぴにゃぴよLv.28はすばしこいとすれば「そのぴにゃぴよLv.28は怖がるということはないししかもだらし無くない」ということは成り立つということはない ; $hypothesis$ = 「もしも怖がるということはないとすれば「挟み付けないしかつ厚くない」ということは確かでない」モンスターはいる ; $proof$ = 
fact4 -> int1: 仮にそのぴにゃぴよLv.28は怖がるということはないとすれば「そのぴにゃぴよLv.28は挟み付けるということはなくてさらに厚くない」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__