「「もし仲睦まじくないとすれば「開き易くないかあるいは通じ易いかまたはどちらもである」ということは事実と異なる」モンスターはいる」ということは成り立たない
fact1: もしもあるモンスターは仲睦まじくないなら「開き易くないかあるいは通じ易いかあるいは両方ともだ」ということは偽である fact2: 仮に何らかのモンスターが昼寝しないとすればそれはねちっこくないかそれは知り難しかあるいは両方である fact3: もしこのもにもやLv.16は仲睦まじいなら「このもにもやLv.16は開き易いということはないか通じ易いかどちらもだ」ということは成り立たない fact4: 「もし仮に仲睦まじくないならば開き易い」モンスターはいる
fact1 -> int1: もし仮にこのもにもやLv.16は仲睦まじくないとしたら「開き易くないかそれは通じ易いかあるいは両方ともだ」ということは間違いだ; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしもあるモンスターは仲睦まじくないなら「開き易くないかあるいは通じ易いかあるいは両方ともだ」ということは偽である fact2: 仮に何らかのモンスターが昼寝しないとすればそれはねちっこくないかそれは知り難しかあるいは両方である fact3: もしこのもにもやLv.16は仲睦まじいなら「このもにもやLv.16は開き易いということはないか通じ易いかどちらもだ」ということは成り立たない fact4: 「もし仮に仲睦まじくないならば開き易い」モンスターはいる ; $hypothesis$ = 「「もし仲睦まじくないとすれば「開き易くないかあるいは通じ易いかまたはどちらもである」ということは事実と異なる」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし仮にこのもにもやLv.16は仲睦まじくないとしたら「開き易くないかそれは通じ易いかあるいは両方ともだ」ということは間違いだ; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v {AB}{aa}); int1 -> hypothesis; __DISPROVED__