憎々しいということは起きない
fact1: ぽちゃぽくLv.50事件はまいまちょLv.74事件の原因となる fact2: 搦め取ることが生じる fact3: 「憎々しいということは起こらない」ということは「まいまちょLv.74事件と搦め取ること両方が生じる」ということに誘発される fact4: 入り難いということが起きる fact5: ぽちゃぽくLv.50事件が生じる fact6: ぽちゃぽくLv.50事件かもしくはまいまちょLv.74事件が生じるということは小さいということを防ぐ fact7: 「ぽにゃぽえLv.78事件は起こらない」ということは「まいまちょLv.74事件が起こらないし搦め取ることは発生する」ということの原因となる
fact1 & fact5 -> int1: まいまちょLv.74事件が発生する; int1 & fact2 -> int2: まいまちょLv.74事件と搦め取ることが発生する; int2 & fact3 -> hypothesis;
fact1 & fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
「小さいということは起きない」ということは真実である
$facts$ = fact1: ぽちゃぽくLv.50事件はまいまちょLv.74事件の原因となる fact2: 搦め取ることが生じる fact3: 「憎々しいということは起こらない」ということは「まいまちょLv.74事件と搦め取ること両方が生じる」ということに誘発される fact4: 入り難いということが起きる fact5: ぽちゃぽくLv.50事件が生じる fact6: ぽちゃぽくLv.50事件かもしくはまいまちょLv.74事件が生じるということは小さいということを防ぐ fact7: 「ぽにゃぽえLv.78事件は起こらない」ということは「まいまちょLv.74事件が起こらないし搦め取ることは発生する」ということの原因となる ; $hypothesis$ = 憎々しいということは起きない ; $proof$ = 
fact1 & fact5 -> int1: まいまちょLv.74事件が発生する; int1 & fact2 -> int2: まいまちょLv.74事件と搦め取ることが発生する; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__