「もし仮に御泊まり下さるということはないとすれば「誤り無くない一方で短い」ということは成り立たない」モンスターはいる
fact1: 「もし抗い難いということはないならば「生き辛くないがしかし飲み難い」ということは誤っている」モンスターはいる fact2: 「もしもこのもにょものLv.3は御泊まり下さるとすれば「「このもにょものLv.3は誤り無くないがそれは短い」ということは真実だ」ということは誤りである」ということは正しい fact3: 仮になんらかのモンスターは御泊まり下さらないならば「誤り無いということはないしかつそれは短い」ということは嘘だ
fact3 -> int1: このもにょものLv.3は御泊まり下さらないとすれば「それは誤り無いということはなくてしかも短い」ということは嘘である; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もし抗い難いということはないならば「生き辛くないがしかし飲み難い」ということは誤っている」モンスターはいる fact2: 「もしもこのもにょものLv.3は御泊まり下さるとすれば「「このもにょものLv.3は誤り無くないがそれは短い」ということは真実だ」ということは誤りである」ということは正しい fact3: 仮になんらかのモンスターは御泊まり下さらないならば「誤り無いということはないしかつそれは短い」ということは嘘だ ; $hypothesis$ = 「もし仮に御泊まり下さるということはないとすれば「誤り無くない一方で短い」ということは成り立たない」モンスターはいる ; $proof$ = 
fact3 -> int1: このもにょものLv.3は御泊まり下さらないとすれば「それは誤り無いということはなくてしかも短い」ということは嘘である; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__