「入植することが起きるしそれに発生し難いということが起きる」ということは本当でない
fact1: もし耐え難いということは起きないとすれば「入植することと発生し難いということ両方ともが起こる」ということは真実でない fact2: 耐え難いということは「入植することが起きる」ということを誘発する fact3: 発生し難いということが生じる fact4: もし仮にもくもよLv.64事件とぷちゃぷいLv.97事件どちらもが起きるなら耐え難いということが起こる fact5: 艶っぽいということは発生しない fact6: 「耐え難いということは起きない」ということは「もくもよLv.64事件が生じるけれどぷちゃぷいLv.97事件は起こらない」ということに阻まれる fact7: もくもよLv.64事件が生じるがしかしぷちゃぷいLv.97事件は起こらない
fact6 & fact7 -> int1: 「耐え難いということが生じる」ということは成り立つ; int1 & fact2 -> int2: 「入植することが発生する」ということは成り立つ; int2 & fact3 -> hypothesis;
fact6 & fact7 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact3 -> hypothesis;
「入植することが起きるしそれに発生し難いということが起きる」ということは本当でない
$facts$ = fact1: もし耐え難いということは起きないとすれば「入植することと発生し難いということ両方ともが起こる」ということは真実でない fact2: 耐え難いということは「入植することが起きる」ということを誘発する fact3: 発生し難いということが生じる fact4: もし仮にもくもよLv.64事件とぷちゃぷいLv.97事件どちらもが起きるなら耐え難いということが起こる fact5: 艶っぽいということは発生しない fact6: 「耐え難いということは起きない」ということは「もくもよLv.64事件が生じるけれどぷちゃぷいLv.97事件は起こらない」ということに阻まれる fact7: もくもよLv.64事件が生じるがしかしぷちゃぷいLv.97事件は起こらない ; $hypothesis$ = 「入植することが起きるしそれに発生し難いということが起きる」ということは本当でない ; $proof$ = 
fact6 & fact7 -> int1: 「耐え難いということが生じる」ということは成り立つ; int1 & fact2 -> int2: 「入植することが発生する」ということは成り立つ; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact7 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact3 -> hypothesis; __DISPROVED__