苦いということが起きる
fact1: 成り難いということが起こる fact2: ぴちょぴやLv.3事件が生じる fact3: ものもくLv.24事件が発生するとするとぴちょぴやLv.3事件は起こらなくて苦いということは起こらない fact4: もなもいLv.55事件が生じる fact5: 「苦いということが起きる」ということはぴちょぴやLv.3事件により生じる fact6: ぽにゅぽにゃLv.28事件が発生する
fact2 -> int1: ぴちょぴやLv.3事件が生じる; int1 & fact5 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> hypothesis;
苦いということは発生しない
$facts$ = fact1: 成り難いということが起こる fact2: ぴちょぴやLv.3事件が生じる fact3: ものもくLv.24事件が発生するとするとぴちょぴやLv.3事件は起こらなくて苦いということは起こらない fact4: もなもいLv.55事件が生じる fact5: 「苦いということが起きる」ということはぴちょぴやLv.3事件により生じる fact6: ぽにゅぽにゃLv.28事件が発生する ; $hypothesis$ = 苦いということが起きる ; $proof$ = 
fact2 -> int1: ぴちょぴやLv.3事件が生じる; int1 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact5 -> hypothesis; __PROVED__