心許ないということが生じる
fact1: ぼったくることが発生する fact2: ぷちゃぷちゃLv.96事件が生じる fact3: 「もえもにLv.3事件およびぼったくること両方が発生する」ということは「心許ないということは起きない」ということの原因となる fact4: ぷちゃぷちゃLv.96事件が生じるということは「もえもにLv.3事件は発生しない」ということを阻止する
fact4 & fact2 -> int1: もえもにLv.3事件が生じる; int1 & fact1 -> int2: もえもにLv.3事件とぼったくることどちらもが生じる; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: ぼったくることが発生する fact2: ぷちゃぷちゃLv.96事件が生じる fact3: 「もえもにLv.3事件およびぼったくること両方が発生する」ということは「心許ないということは起きない」ということの原因となる fact4: ぷちゃぷちゃLv.96事件が生じるということは「もえもにLv.3事件は発生しない」ということを阻止する ; $hypothesis$ = 心許ないということが生じる ; $proof$ = 
fact4 & fact2 -> int1: もえもにLv.3事件が生じる; int1 & fact1 -> int2: もえもにLv.3事件とぼったくることどちらもが生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__