「酸っぱいということが起こるしその上みわみいLv.69事件が生じる」ということは間違いである
fact1: 溶け易いということが起こる fact2: みちょみにょLv.9事件は発生しないということは湿ることおよびみわみいLv.69事件が生じるに繋がる fact3: 「みちょみにょLv.9事件は起きなくて御辛いということが生じる」ということは低いということが原因である fact4: みわみいLv.69事件が生じる fact5: 酸っぱいということが起こる
fact4 -> int1: みわみいLv.69事件が生じる; int1 & fact5 -> hypothesis;
fact4 -> int1: {A}; int1 & fact5 -> hypothesis;
湿ることおよびみくみわLv.55事件どちらもが起きる
$facts$ = fact1: 溶け易いということが起こる fact2: みちょみにょLv.9事件は発生しないということは湿ることおよびみわみいLv.69事件が生じるに繋がる fact3: 「みちょみにょLv.9事件は起きなくて御辛いということが生じる」ということは低いということが原因である fact4: みわみいLv.69事件が生じる fact5: 酸っぱいということが起こる ; $hypothesis$ = 「酸っぱいということが起こるしその上みわみいLv.69事件が生じる」ということは間違いである ; $proof$ = 
fact4 -> int1: みわみいLv.69事件が生じる; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact5 -> hypothesis; __DISPROVED__