そのまちょまにLv.97は攻め上る
fact1: そのまちょまにLv.97が御すということはないとすると安堵し難い一方で攻め上らない fact2: 「「このぷいぷなLv.0は迷信深くない一方でそれはしんどい」ということは成り立たない」ということは確かである fact3: 「このぷいぷなLv.0は迷信深いしまたしんどい」ということは嘘だ fact4: もしもそのまちょまにLv.97が御すということはないならばそのまちょまにLv.97は安堵し難い fact5: あのもちゃもにLv.51は安堵し難くない fact6: 仮に「このぷいぷなLv.0は迷信深くないがそれはしんどい」ということは真実でないとしたらそのまちょまにLv.97は御すない fact7: 「そのまちょまにLv.97は安堵し難い」ということは確かだ fact8: 「もし仮になんらかのモンスターが御すならばそれは攻め上る」ということは嘘でない
fact6 & fact2 -> int1: そのまちょまにLv.97は御すない; int1 & fact1 -> int2: そのまちょまにLv.97は安堵し難いけれど攻め上らない; int2 -> hypothesis;
fact6 & fact2 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ({C}{b} & ¬{A}{b}); int2 -> hypothesis;
そのまちょまにLv.97は攻め上る
fact9 -> int3: 仮にそのまちょまにLv.97が御すとするとそのまちょまにLv.97は攻め上る;
$facts$ = fact1: そのまちょまにLv.97が御すということはないとすると安堵し難い一方で攻め上らない fact2: 「「このぷいぷなLv.0は迷信深くない一方でそれはしんどい」ということは成り立たない」ということは確かである fact3: 「このぷいぷなLv.0は迷信深いしまたしんどい」ということは嘘だ fact4: もしもそのまちょまにLv.97が御すということはないならばそのまちょまにLv.97は安堵し難い fact5: あのもちゃもにLv.51は安堵し難くない fact6: 仮に「このぷいぷなLv.0は迷信深くないがそれはしんどい」ということは真実でないとしたらそのまちょまにLv.97は御すない fact7: 「そのまちょまにLv.97は安堵し難い」ということは確かだ fact8: 「もし仮になんらかのモンスターが御すならばそれは攻め上る」ということは嘘でない ; $hypothesis$ = そのまちょまにLv.97は攻め上る ; $proof$ = 
fact6 & fact2 -> int1: そのまちょまにLv.97は御すない; int1 & fact1 -> int2: そのまちょまにLv.97は安堵し難いけれど攻め上らない; int2 -> hypothesis; __DISPROVED__
fact6 & fact2 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ({C}{b} & ¬{A}{b}); int2 -> hypothesis; __DISPROVED__