嫌味っぽいということが起きるか赤っぽいということは起こらない
fact1: 仮に「狭苦しいということは起きない」ということは本当なら嫌味っぽいということが起こるかあるいは赤っぽいということは起こらないか両方ともである fact2: 仮にまよまよLv.42事件は発生しないなら罹患し易いということは生じなくて更に入り易いということは起きない fact3: 狭苦しいということが生じる fact4: もし入り易いということが起こるとすれば赤っぽいということが生じる fact5: もし仮に入り易いということが起こるとすれば「嫌味っぽいということが生じるか赤っぽいということは起きない」ということは成り立たない fact6: 狭苦しいということは涙脆いということが起こるということを招く fact7: 「弁済出来ることが起きないしかつまよまよLv.42事件は起こらない」ということはもちゃもねLv.7事件に由来する fact8: 赤っぽいということが起こる fact9: 入り易いということは涙脆いということにもたらされる
fact6 & fact3 -> int1: 涙脆いということが発生する; int1 & fact9 -> int2: 入り易いということが起こる; int2 & fact5 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 & fact9 -> int2: {C}; int2 & fact5 -> hypothesis;
嫌味っぽいということが起きるか赤っぽいということは起こらない
$facts$ = fact1: 仮に「狭苦しいということは起きない」ということは本当なら嫌味っぽいということが起こるかあるいは赤っぽいということは起こらないか両方ともである fact2: 仮にまよまよLv.42事件は発生しないなら罹患し易いということは生じなくて更に入り易いということは起きない fact3: 狭苦しいということが生じる fact4: もし入り易いということが起こるとすれば赤っぽいということが生じる fact5: もし仮に入り易いということが起こるとすれば「嫌味っぽいということが生じるか赤っぽいということは起きない」ということは成り立たない fact6: 狭苦しいということは涙脆いということが起こるということを招く fact7: 「弁済出来ることが起きないしかつまよまよLv.42事件は起こらない」ということはもちゃもねLv.7事件に由来する fact8: 赤っぽいということが起こる fact9: 入り易いということは涙脆いということにもたらされる ; $hypothesis$ = 嫌味っぽいということが起きるか赤っぽいということは起こらない ; $proof$ = 
fact6 & fact3 -> int1: 涙脆いということが発生する; int1 & fact9 -> int2: 入り易いということが起こる; int2 & fact5 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}; int1 & fact9 -> int2: {C}; int2 & fact5 -> hypothesis; __DISPROVED__