「ぽくぽにLv.70事件とぽいぽえLv.1事件両方が生じる」ということは事実と異なる
fact1: 「ぽいぽえLv.1事件が起きる」ということは確かである fact2: ぷよぷよLv.30事件とぴにょぴにLv.20事件が生じる fact3: 「凝り固まることが起こるけれどぴなぴなLv.27事件は生じない」ということは「心無いということは起きない」ということに誘発される fact4: 登山家らしいということは生じないということは「凝り固まることが起きるけれどぴなぴなLv.27事件は起きない」ということに阻止される fact5: ぴなぴなLv.27事件は起きないということは香しいということおよび凝り固まることが生じるに帰結する fact6: 「ぷよぷよLv.30事件およびぴにょぴにLv.20事件両方が発生する」ということは「心無いということは発生しない」ということを発生させる fact7: ぽくぽにLv.70事件が登山家らしいということはきっかけだ fact8: 仮にもやもえLv.62事件が発生するしそれに示し得ることが発生するとするともちゅもねLv.33事件は起きない
fact6 & fact2 -> int1: 心無いということは発生しない; int1 & fact3 -> int2: 「凝り固まることが生じるけれどぴなぴなLv.27事件は発生しない」ということは成り立つ; int2 & fact4 -> int3: 登山家らしいということが起きる; int3 & fact7 -> int4: ぽくぽにLv.70事件が起こる; int4 & fact1 -> hypothesis;
fact6 & fact2 -> int1: ¬{B}; int1 & fact3 -> int2: ({A} & ¬{C}); int2 & fact4 -> int3: {D}; int3 & fact7 -> int4: {E}; int4 & fact1 -> hypothesis;
香しいということが生じるし加えてぴちょぴえLv.4事件が発生する
$facts$ = fact1: 「ぽいぽえLv.1事件が起きる」ということは確かである fact2: ぷよぷよLv.30事件とぴにょぴにLv.20事件が生じる fact3: 「凝り固まることが起こるけれどぴなぴなLv.27事件は生じない」ということは「心無いということは起きない」ということに誘発される fact4: 登山家らしいということは生じないということは「凝り固まることが起きるけれどぴなぴなLv.27事件は起きない」ということに阻止される fact5: ぴなぴなLv.27事件は起きないということは香しいということおよび凝り固まることが生じるに帰結する fact6: 「ぷよぷよLv.30事件およびぴにょぴにLv.20事件両方が発生する」ということは「心無いということは発生しない」ということを発生させる fact7: ぽくぽにLv.70事件が登山家らしいということはきっかけだ fact8: 仮にもやもえLv.62事件が発生するしそれに示し得ることが発生するとするともちゅもねLv.33事件は起きない ; $hypothesis$ = 「ぽくぽにLv.70事件とぽいぽえLv.1事件両方が生じる」ということは事実と異なる ; $proof$ = 
fact6 & fact2 -> int1: 心無いということは発生しない; int1 & fact3 -> int2: 「凝り固まることが生じるけれどぴなぴなLv.27事件は発生しない」ということは成り立つ; int2 & fact4 -> int3: 登山家らしいということが起きる; int3 & fact7 -> int4: ぽくぽにLv.70事件が起こる; int4 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact2 -> int1: ¬{B}; int1 & fact3 -> int2: ({A} & ¬{C}); int2 & fact4 -> int3: {D}; int3 & fact7 -> int4: {E}; int4 & fact1 -> hypothesis; __DISPROVED__