「ぴえぴねLv.76事件が生じる」ということは本当である
fact1: 「ぽちょぽちゅLv.93事件が起きる」ということは事実だ fact2: まのまくLv.55事件とぽちょぽちゅLv.93事件が起きるならぴえぴねLv.76事件は発生しない fact3: まのまくLv.55事件が発生するし掃除し易いということが生じる
fact3 -> int1: まのまくLv.55事件が生じる; int1 & fact1 -> int2: まのまくLv.55事件およびぽちょぽちゅLv.93事件どちらもが起こる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「ぽちょぽちゅLv.93事件が起きる」ということは事実だ fact2: まのまくLv.55事件とぽちょぽちゅLv.93事件が起きるならぴえぴねLv.76事件は発生しない fact3: まのまくLv.55事件が発生するし掃除し易いということが生じる ; $hypothesis$ = 「ぴえぴねLv.76事件が生じる」ということは本当である ; $proof$ = 
fact3 -> int1: まのまくLv.55事件が生じる; int1 & fact1 -> int2: まのまくLv.55事件およびぽちょぽちゅLv.93事件どちらもが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__