「あのぴちょぴくLv.26は著しいしリスペクトする」ということは成り立つということはない
fact1: 「あるモンスターは粉っぽくてさらに悪賢い」ということは成り立たないならそれは粉っぽくない fact2: 「粉っぽくないししかもさり気無くない」モンスターはいる fact3: 「粉っぽくてかつさり気無くない」モンスターはいる fact4: なにがしかのモンスターは粉っぽくないけどさり気無い fact5: あのぴちょぴくLv.26はリスペクトする fact6: もし仮にそのぷちょぷよLv.9が近しいとするとあのぴちょぴくLv.26は著しい fact7: もしそのぷちょぷよLv.9が悪賢くないとしたらそれは近しい fact8: 仮に粉っぽいということはないモンスターがさり気無くないならばそのぷちょぷよLv.9は悪賢くない
fact2 & fact8 -> int1: そのぷちょぷよLv.9は悪賢くない; int1 & fact7 -> int2: そのぷちょぷよLv.9は近しい; int2 & fact6 -> int3: あのぴちょぴくLv.26は著しい; int3 & fact5 -> hypothesis;
fact2 & fact8 -> int1: ¬{C}{a}; int1 & fact7 -> int2: {D}{a}; int2 & fact6 -> int3: {E}{b}; int3 & fact5 -> hypothesis;
なんらかのモンスターは日本人らしくないし加えてそれは持参するということはない
fact9 -> int4: 仮に「あのぴちょぴくLv.26は粉っぽいしその上悪賢い」ということは本当でないとしたらあのぴちょぴくLv.26は粉っぽいということはない;
$facts$ = fact1: 「あるモンスターは粉っぽくてさらに悪賢い」ということは成り立たないならそれは粉っぽくない fact2: 「粉っぽくないししかもさり気無くない」モンスターはいる fact3: 「粉っぽくてかつさり気無くない」モンスターはいる fact4: なにがしかのモンスターは粉っぽくないけどさり気無い fact5: あのぴちょぴくLv.26はリスペクトする fact6: もし仮にそのぷちょぷよLv.9が近しいとするとあのぴちょぴくLv.26は著しい fact7: もしそのぷちょぷよLv.9が悪賢くないとしたらそれは近しい fact8: 仮に粉っぽいということはないモンスターがさり気無くないならばそのぷちょぷよLv.9は悪賢くない ; $hypothesis$ = 「あのぴちょぴくLv.26は著しいしリスペクトする」ということは成り立つということはない ; $proof$ = 
fact2 & fact8 -> int1: そのぷちょぷよLv.9は悪賢くない; int1 & fact7 -> int2: そのぷちょぷよLv.9は近しい; int2 & fact6 -> int3: あのぴちょぴくLv.26は著しい; int3 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact8 -> int1: ¬{C}{a}; int1 & fact7 -> int2: {D}{a}; int2 & fact6 -> int3: {E}{b}; int3 & fact5 -> hypothesis; __DISPROVED__