そのみえみねLv.43は廃れる
fact1: 仮にあるモンスターが廃れないとしたらそれは疑わしかそれは尖み付けないかまたは両方ともである fact2: 出来易くないモンスターは廃れるしまた参加し易い fact3: もしもこのぷねぷやLv.34が尖み付けるということはないかそれが疑わしということはないとするとそのみえみねLv.43は廃れない fact4: 「参加し易くないモンスターは尖み付けないかもしくは疑わしないかあるいは両方である」ということは誤っていない fact5: もし仮にこのぷねぷやLv.34が参加し易くないならばこのぷねぷやLv.34は尖み付けるかあるいは疑わしないか両方である fact6: 仮にそのみえみねLv.43が参加し易いならばそのもくもなLv.56は尖み付けないか馬鹿らしくないかあるいは両方ともである fact7: このぷねぷやLv.34は参加し易くない fact8: もしもなにがしかのモンスターが信じ難いとすればそれは出来易くない
fact4 -> int1: 仮にこのぷねぷやLv.34は参加し易くないならば「このぷねぷやLv.34は尖み付けないかあるいはそれは疑わしないかどちらもだ」ということは成り立つ; int1 & fact7 -> int2: このぷねぷやLv.34は尖み付けないかあるいは疑わしないかもしくはどちらもだ; int2 & fact3 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact7 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int2 & fact3 -> hypothesis;
そのみえみねLv.43は廃れる
fact10 -> int3: もしもそのみえみねLv.43が出来易くないならばそのみえみねLv.43は廃れるしさらにそれは参加し易い; fact9 -> int4: もしそのみえみねLv.43が信じ難いとすればそのみえみねLv.43は出来易くない;
$facts$ = fact1: 仮にあるモンスターが廃れないとしたらそれは疑わしかそれは尖み付けないかまたは両方ともである fact2: 出来易くないモンスターは廃れるしまた参加し易い fact3: もしもこのぷねぷやLv.34が尖み付けるということはないかそれが疑わしということはないとするとそのみえみねLv.43は廃れない fact4: 「参加し易くないモンスターは尖み付けないかもしくは疑わしないかあるいは両方である」ということは誤っていない fact5: もし仮にこのぷねぷやLv.34が参加し易くないならばこのぷねぷやLv.34は尖み付けるかあるいは疑わしないか両方である fact6: 仮にそのみえみねLv.43が参加し易いならばそのもくもなLv.56は尖み付けないか馬鹿らしくないかあるいは両方ともである fact7: このぷねぷやLv.34は参加し易くない fact8: もしもなにがしかのモンスターが信じ難いとすればそれは出来易くない ; $hypothesis$ = そのみえみねLv.43は廃れる ; $proof$ = 
fact4 -> int1: 仮にこのぷねぷやLv.34は参加し易くないならば「このぷねぷやLv.34は尖み付けないかあるいはそれは疑わしないかどちらもだ」ということは成り立つ; int1 & fact7 -> int2: このぷねぷやLv.34は尖み付けないかあるいは疑わしないかもしくはどちらもだ; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact7 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int2 & fact3 -> hypothesis; __DISPROVED__