「このぽのぽにゅLv.47は掴み難いししかも降る」ということは間違っている
fact1: このぽのぽにゅLv.47は茶色っぽい fact2: 分解され難くないモンスターは掴み難くないか降るかどちらもだ fact3: もし何らかのモンスターは作業し易いということはないとすると「それは掴み難いしそれは降る」ということは成り立たない fact4: このぽのぽにゅLv.47が作業し易いしその上それは茶色っぽい fact5: 仮にこのぽのぽにゅLv.47が作業し易いならそれは化かす fact6: 仮にこのぽのぽにゅLv.47が茶色っぽくないならそのまにょまにゃLv.94は化かすしその上作業し易い fact7: このぽのぽにゅLv.47は掴み難い fact8: あのもにもよLv.96は掴み難い fact9: もしもこのぽのぽにゅLv.47が化かすとすればこのぽのぽにゅLv.47は降る
fact4 -> int1: 「このぽのぽにゅLv.47は作業し易い」ということは正しい; int1 & fact5 -> int2: このぽのぽにゅLv.47は化かす; int2 & fact9 -> int3: このぽのぽにゅLv.47は降る; int3 & fact7 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{a}; int3 & fact7 -> hypothesis;
「このぽのぽにゅLv.47は掴み難いししかも降る」ということは間違っている
fact10 -> int4: もしもこのぽのぽにゅLv.47は作業し易くないならば「このぽのぽにゅLv.47は掴み難くてかつそれは降る」ということは成り立たない;
$facts$ = fact1: このぽのぽにゅLv.47は茶色っぽい fact2: 分解され難くないモンスターは掴み難くないか降るかどちらもだ fact3: もし何らかのモンスターは作業し易いということはないとすると「それは掴み難いしそれは降る」ということは成り立たない fact4: このぽのぽにゅLv.47が作業し易いしその上それは茶色っぽい fact5: 仮にこのぽのぽにゅLv.47が作業し易いならそれは化かす fact6: 仮にこのぽのぽにゅLv.47が茶色っぽくないならそのまにょまにゃLv.94は化かすしその上作業し易い fact7: このぽのぽにゅLv.47は掴み難い fact8: あのもにもよLv.96は掴み難い fact9: もしもこのぽのぽにゅLv.47が化かすとすればこのぽのぽにゅLv.47は降る ; $hypothesis$ = 「このぽのぽにゅLv.47は掴み難いししかも降る」ということは間違っている ; $proof$ = 
fact4 -> int1: 「このぽのぽにゅLv.47は作業し易い」ということは正しい; int1 & fact5 -> int2: このぽのぽにゅLv.47は化かす; int2 & fact9 -> int3: このぽのぽにゅLv.47は降る; int3 & fact7 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{a}; int3 & fact7 -> hypothesis; __DISPROVED__