ぷねぷちょLv.67事件が起こる
fact1: 「吸収し易いということが生じるかまたはもねもやLv.85事件が起こるかあるいは両方ともである」ということは誤っているとしたらぷねぷちょLv.67事件は生じない fact2: もしもぴにゃぴくLv.54事件は生じないとすれば「ぴよぴにょLv.29事件が起きるかあるいは見晴かすことが起こるか両方だ」ということは誤りである fact3: 吸収し易いということは発生しない fact4: ぷにょぷいLv.0事件は起きない fact5: ぽくぽえLv.91事件は起こらないということは「ぷにょぷいLv.0事件とぷねぷちょLv.67事件が発生する」ということのきっかけとなる fact6: 吸収し易いということが発生するということは「ぷにょぷいLv.0事件は起こらない」ということに阻まれる fact7: 仮に「ぷにょぷいLv.0事件は起きない」ということは本当だとしたら「吸収し易いということが発生するかもしくはもねもやLv.85事件が生じる」ということは成り立たない
fact7 & fact4 -> int1: 「吸収し易いということかあるいはもねもやLv.85事件かもしくはどちらもが発生する」ということは成り立たない; int1 & fact1 -> hypothesis;
fact7 & fact4 -> int1: ¬({AA} v {AB}); int1 & fact1 -> hypothesis;
ぷねぷちょLv.67事件が起こる
$facts$ = fact1: 「吸収し易いということが生じるかまたはもねもやLv.85事件が起こるかあるいは両方ともである」ということは誤っているとしたらぷねぷちょLv.67事件は生じない fact2: もしもぴにゃぴくLv.54事件は生じないとすれば「ぴよぴにょLv.29事件が起きるかあるいは見晴かすことが起こるか両方だ」ということは誤りである fact3: 吸収し易いということは発生しない fact4: ぷにょぷいLv.0事件は起きない fact5: ぽくぽえLv.91事件は起こらないということは「ぷにょぷいLv.0事件とぷねぷちょLv.67事件が発生する」ということのきっかけとなる fact6: 吸収し易いということが発生するということは「ぷにょぷいLv.0事件は起こらない」ということに阻まれる fact7: 仮に「ぷにょぷいLv.0事件は起きない」ということは本当だとしたら「吸収し易いということが発生するかもしくはもねもやLv.85事件が生じる」ということは成り立たない ; $hypothesis$ = ぷねぷちょLv.67事件が起こる ; $proof$ = 
fact7 & fact4 -> int1: 「吸収し易いということかあるいはもねもやLv.85事件かもしくはどちらもが発生する」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: ¬({AA} v {AB}); int1 & fact1 -> hypothesis; __DISPROVED__