折り込むことが起こる
fact1: ぽわぽゆLv.10事件およびまにまよLv.10事件どちらもが起こる fact2: もし仮に「若しということが起きるし弱々しいということは発生しない」ということは成り立たないとしたら折り込むことは生じない fact3: 仮にまにまよLv.10事件が発生するとすれば「若しということが起きるが弱々しいということは生じない」ということは嘘である
fact1 -> int1: まにまよLv.10事件が発生する; int1 & fact3 -> int2: 「若しということが起こるが弱々しいということは発生しない」ということは事実と異なる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> int2: ¬({D} & ¬{C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: ぽわぽゆLv.10事件およびまにまよLv.10事件どちらもが起こる fact2: もし仮に「若しということが起きるし弱々しいということは発生しない」ということは成り立たないとしたら折り込むことは生じない fact3: 仮にまにまよLv.10事件が発生するとすれば「若しということが起きるが弱々しいということは生じない」ということは嘘である ; $hypothesis$ = 折り込むことが起こる ; $proof$ = 
fact1 -> int1: まにまよLv.10事件が発生する; int1 & fact3 -> int2: 「若しということが起こるが弱々しいということは発生しない」ということは事実と異なる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact3 -> int2: ¬({D} & ¬{C}); int2 & fact2 -> hypothesis; __DISPROVED__