「「もしも「断定し難くないしうつ伏すということはない」ということは正しくないなら口さがなくない」モンスターはいる」ということは成り立たない
fact1: 「そのぷゆぷくLv.34は分厚くなくてそれは扱い易くない」ということは真実でないとするとそのぷゆぷくLv.34は甚だしない fact2: もしあるモンスターが青っぽいとしたらそれは装着出来るということはない fact3: 仮に「とあるモンスターは断定し難くないしさらにうつ伏さない」ということは成り立たないなら口さがなくない fact4: もしも断定し難くないモンスターがうつ伏すということはないならそれは口さがなくない fact5: もし「このまにょまにLv.66は得られ難いということはなくてかつ聡くない」ということは成り立たないとしたら断定し難い fact6: もし「そのぷゆぷくLv.34は断定し難い一方でうつ伏さない」ということは偽ならば口さがなくない
fact3 -> int1: 「そのぷゆぷくLv.34は断定し難くなくて更にうつ伏すということはない」ということは事実と異なるなら口さがなくない; int1 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「そのぷゆぷくLv.34は分厚くなくてそれは扱い易くない」ということは真実でないとするとそのぷゆぷくLv.34は甚だしない fact2: もしあるモンスターが青っぽいとしたらそれは装着出来るということはない fact3: 仮に「とあるモンスターは断定し難くないしさらにうつ伏さない」ということは成り立たないなら口さがなくない fact4: もしも断定し難くないモンスターがうつ伏すということはないならそれは口さがなくない fact5: もし「このまにょまにLv.66は得られ難いということはなくてかつ聡くない」ということは成り立たないとしたら断定し難い fact6: もし「そのぷゆぷくLv.34は断定し難い一方でうつ伏さない」ということは偽ならば口さがなくない ; $hypothesis$ = 「「もしも「断定し難くないしうつ伏すということはない」ということは正しくないなら口さがなくない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact3 -> int1: 「そのぷゆぷくLv.34は断定し難くなくて更にうつ伏すということはない」ということは事実と異なるなら口さがなくない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__