生温いということが起こる
fact1: もえもにLv.68事件が起きる fact2: もにょもちゃLv.8事件が生じる fact3: 生温いということは発生しないということはもえもにLv.68事件と麗しということが起きるがきっかけである fact4: 麗しということが起きる
fact1 & fact4 -> int1: もえもにLv.68事件が発生するし麗しということが生じる; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis;
$facts$ = fact1: もえもにLv.68事件が起きる fact2: もにょもちゃLv.8事件が生じる fact3: 生温いということは発生しないということはもえもにLv.68事件と麗しということが起きるがきっかけである fact4: 麗しということが起きる ; $hypothesis$ = 生温いということが起こる ; $proof$ = 
fact1 & fact4 -> int1: もえもにLv.68事件が発生するし麗しということが生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis; __DISPROVED__