もちゅもちょLv.42事件が起こる
fact1: 撓むことが起こる fact2: もし撓むことと悍ましいということが発生すればもちゅもちょLv.42事件は起きない fact3: 悍ましいということが生じる
fact1 & fact3 -> int1: 撓むことおよび悍ましいということ両方ともが生じる; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 撓むことが起こる fact2: もし撓むことと悍ましいということが発生すればもちゅもちょLv.42事件は起きない fact3: 悍ましいということが生じる ; $hypothesis$ = もちゅもちょLv.42事件が起こる ; $proof$ = 
fact1 & fact3 -> int1: 撓むことおよび悍ましいということ両方ともが生じる; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__