「おもろいということおよびぽいぽちょLv.47事件両方が起きる」ということは間違いである
fact1: 「親しいということが起こる」ということは誤っていない fact2: すうすうすることが起こる fact3: ぽいぽちょLv.47事件が起きる fact4: もにもねLv.71事件が発生する fact5: おもろいということが発生する
fact5 -> int1: おもろいということが発生する; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「親しいということが起こる」ということは誤っていない fact2: すうすうすることが起こる fact3: ぽいぽちょLv.47事件が起きる fact4: もにもねLv.71事件が発生する fact5: おもろいということが発生する ; $hypothesis$ = 「おもろいということおよびぽいぽちょLv.47事件両方が起きる」ということは間違いである ; $proof$ = 
fact5 -> int1: おもろいということが発生する; int1 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__