「そのぽにゃぽよLv.13は疎ましいしそれに号する」ということは成り立たない
fact1: そのまにまにゃLv.72は臨むしおまけに関連する fact2: 落ち易いモンスターはがたがたする fact3: そのぽにゃぽよLv.13はがたがたする fact4: もしあのもにゃものLv.78はがたがたするということはないとすれば「落ち易くなくてさらに不味くない」ということは間違いである fact5: そのぽにゃぽよLv.13は号する fact6: もしも「なにがしかのモンスターは落ち易くないしそれは不味くない」ということは間違いだとしたら落ち易い fact7: そのぽにゃぽよLv.13が落ち易いしその上それはがたがたする fact8: もし仮にそのぽにゃぽよLv.13が落ち易いとするとそのぽにゃぽよLv.13は疎ましい
fact7 -> int1: そのぽにゃぽよLv.13は落ち易い; int1 & fact8 -> int2: そのぽにゃぽよLv.13は疎ましい; int2 & fact5 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
「あのぷやぷよLv.16はがたがたする」ということは成り立つ
fact9 -> int3: もしもあのぷやぷよLv.16が落ち易いとすればがたがたする;
$facts$ = fact1: そのまにまにゃLv.72は臨むしおまけに関連する fact2: 落ち易いモンスターはがたがたする fact3: そのぽにゃぽよLv.13はがたがたする fact4: もしあのもにゃものLv.78はがたがたするということはないとすれば「落ち易くなくてさらに不味くない」ということは間違いである fact5: そのぽにゃぽよLv.13は号する fact6: もしも「なにがしかのモンスターは落ち易くないしそれは不味くない」ということは間違いだとしたら落ち易い fact7: そのぽにゃぽよLv.13が落ち易いしその上それはがたがたする fact8: もし仮にそのぽにゃぽよLv.13が落ち易いとするとそのぽにゃぽよLv.13は疎ましい ; $hypothesis$ = 「そのぽにゃぽよLv.13は疎ましいしそれに号する」ということは成り立たない ; $proof$ = 
fact7 -> int1: そのぽにゃぽよLv.13は落ち易い; int1 & fact8 -> int2: そのぽにゃぽよLv.13は疎ましい; int2 & fact5 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __DISPROVED__