「口汚いということおよび腫れぼったいということが起こる」ということは成り立たない
fact1: 仮にぽゆぽえLv.74事件は発生するがみわみにLv.13事件は起きないとしたら父親らしいということは発生しない fact2: ぴねぴにょLv.27事件は起きないとすると口汚いということが生じるしその上腫れぼったいということが起きる fact3: もしも父親らしいということは生じないとしたらぴねぴにょLv.27事件が生じるし更にぷゆぷにゃLv.19事件が起こる fact4: もしぷえぷにLv.30事件は起こらないとすると「口汚いということが起きるししかも腫れぼったいということが発生する」ということは成り立たない fact5: ぷえぷにLv.30事件かもしくはぴやぴゆLv.82事件かあるいはどちらもが発生するとするとぴねぴにょLv.27事件は生じない fact6: ぷえぷにLv.30事件が起こる fact7: 口汚いということが起きる fact8: ぴやぴゆLv.82事件は「不安がることが起こらなくてそれにぷえぷにLv.30事件は生じない」ということを誘発する
fact6 -> int1: ぷえぷにLv.30事件が生じるかまたはぴやぴゆLv.82事件が生じるかどちらもである; int1 & fact5 -> int2: ぴねぴにょLv.27事件は起きない; int2 & fact2 -> hypothesis;
fact6 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> hypothesis;
「口汚いということおよび腫れぼったいということが起こる」ということは成り立たない
$facts$ = fact1: 仮にぽゆぽえLv.74事件は発生するがみわみにLv.13事件は起きないとしたら父親らしいということは発生しない fact2: ぴねぴにょLv.27事件は起きないとすると口汚いということが生じるしその上腫れぼったいということが起きる fact3: もしも父親らしいということは生じないとしたらぴねぴにょLv.27事件が生じるし更にぷゆぷにゃLv.19事件が起こる fact4: もしぷえぷにLv.30事件は起こらないとすると「口汚いということが起きるししかも腫れぼったいということが発生する」ということは成り立たない fact5: ぷえぷにLv.30事件かもしくはぴやぴゆLv.82事件かあるいはどちらもが発生するとするとぴねぴにょLv.27事件は生じない fact6: ぷえぷにLv.30事件が起こる fact7: 口汚いということが起きる fact8: ぴやぴゆLv.82事件は「不安がることが起こらなくてそれにぷえぷにLv.30事件は生じない」ということを誘発する ; $hypothesis$ = 「口汚いということおよび腫れぼったいということが起こる」ということは成り立たない ; $proof$ = 
fact6 -> int1: ぷえぷにLv.30事件が生じるかまたはぴやぴゆLv.82事件が生じるかどちらもである; int1 & fact5 -> int2: ぴねぴにょLv.27事件は起きない; int2 & fact2 -> hypothesis; __DISPROVED__
fact6 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> hypothesis; __DISPROVED__