ばあかしいということが生じる
fact1: ばあかしいということはぽよぽちょLv.40事件および乗っかることが生じるに阻まれる fact2: 御詳しいということが起こる fact3: ぽよぽちょLv.40事件が発生する fact4: もにゅもゆLv.7事件が生じる fact5: 乗っかることともにゅもゆLv.7事件が起きる
fact5 -> int1: 乗っかることが発生する; int1 & fact3 -> int2: ぽよぽちょLv.40事件が発生するしおまけに乗っかることは発生する; int2 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact1 -> hypothesis;
$facts$ = fact1: ばあかしいということはぽよぽちょLv.40事件および乗っかることが生じるに阻まれる fact2: 御詳しいということが起こる fact3: ぽよぽちょLv.40事件が発生する fact4: もにゅもゆLv.7事件が生じる fact5: 乗っかることともにゅもゆLv.7事件が起きる ; $hypothesis$ = ばあかしいということが生じる ; $proof$ = 
fact5 -> int1: 乗っかることが発生する; int1 & fact3 -> int2: ぽよぽちょLv.40事件が発生するしおまけに乗っかることは発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact1 -> hypothesis; __DISPROVED__