「ぽにゅぽいLv.81事件と締め過ぎること両方ともが起きる」ということは成り立たない
fact1: 大差無いということが生じる fact2: 痛いということが生じる fact3: 締め過ぎることが発生する fact4: 余所余所しいということは起こらないならば余所余所しいということは起きなくておまけにむくつけしということは生じない fact5: 余所余所しいということは発生しないということは「大差無いということと痛いということが起こる」ということが原因である fact6: ぽにゅぽいLv.81事件は「余所余所しいということは生じなくてむくつけしということは発生しない」ということにもたらされる
fact1 & fact2 -> int1: 大差無いということと痛いということ両方が生じる; int1 & fact5 -> int2: 余所余所しいということは発生しない; int2 & fact4 -> int3: 余所余所しいということは発生しなくてむくつけしということは生じない; int3 & fact6 -> int4: ぽにゅぽいLv.81事件が起きる; int4 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> int3: (¬{C} & ¬{E}); int3 & fact6 -> int4: {D}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 大差無いということが生じる fact2: 痛いということが生じる fact3: 締め過ぎることが発生する fact4: 余所余所しいということは起こらないならば余所余所しいということは起きなくておまけにむくつけしということは生じない fact5: 余所余所しいということは発生しないということは「大差無いということと痛いということが起こる」ということが原因である fact6: ぽにゅぽいLv.81事件は「余所余所しいということは生じなくてむくつけしということは発生しない」ということにもたらされる ; $hypothesis$ = 「ぽにゅぽいLv.81事件と締め過ぎること両方ともが起きる」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> int1: 大差無いということと痛いということ両方が生じる; int1 & fact5 -> int2: 余所余所しいということは発生しない; int2 & fact4 -> int3: 余所余所しいということは発生しなくてむくつけしということは生じない; int3 & fact6 -> int4: ぽにゅぽいLv.81事件が起きる; int4 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> int3: (¬{C} & ¬{E}); int3 & fact6 -> int4: {D}; int4 & fact3 -> hypothesis; __DISPROVED__