あのぷにょぷにゃLv.85は弾き易い
fact1: 何らかのモンスターが仲直り出来ないとすれば弾き易くて更に模索し始める fact2: 「あのぷにょぷにゃLv.85は見交わすしまた注意深い」ということは誤りである fact3: もし仮に「あのぷにょぷにゃLv.85は見交わす」ということは本当ならあのぷにょぷにゃLv.85は弾き易いということはない fact4: 「「あのぷにょぷにゃLv.85は見交わさないが注意深い」ということは本当である」ということは事実と異なる fact5: 「あるモンスターは見交わさないけれど注意深い」ということは誤っているとしたらそれは弾き易いということはない fact6: もしもあるモンスターが見交わすとすれば弾き易くない
fact5 -> int1: もしも「あのぷにょぷにゃLv.85は見交わさないけど注意深い」ということは成り立たないならあのぷにょぷにゃLv.85は弾き易くない; int1 & fact4 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> hypothesis;
あのぷにょぷにゃLv.85は弾き易い
fact7 -> int2: もしもあのぷにょぷにゃLv.85が仲直り出来ないとしたら弾き易くて模索し始める;
$facts$ = fact1: 何らかのモンスターが仲直り出来ないとすれば弾き易くて更に模索し始める fact2: 「あのぷにょぷにゃLv.85は見交わすしまた注意深い」ということは誤りである fact3: もし仮に「あのぷにょぷにゃLv.85は見交わす」ということは本当ならあのぷにょぷにゃLv.85は弾き易いということはない fact4: 「「あのぷにょぷにゃLv.85は見交わさないが注意深い」ということは本当である」ということは事実と異なる fact5: 「あるモンスターは見交わさないけれど注意深い」ということは誤っているとしたらそれは弾き易いということはない fact6: もしもあるモンスターが見交わすとすれば弾き易くない ; $hypothesis$ = あのぷにょぷにゃLv.85は弾き易い ; $proof$ = 
fact5 -> int1: もしも「あのぷにょぷにゃLv.85は見交わさないけど注意深い」ということは成り立たないならあのぷにょぷにゃLv.85は弾き易くない; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> hypothesis; __DISPROVED__