ぴにゅぴにLv.7事件が起きる
fact1: 「若者らしいということが起こる」ということか吐き出せることかあるいはどちらもはぴにゅぴにLv.7事件を阻止する fact2: 吐き出せることが発生する
fact2 -> int1: 若者らしいということが起こるかもしくは吐き出せることが発生するか両方ともである; int1 & fact1 -> hypothesis;
fact2 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「若者らしいということが起こる」ということか吐き出せることかあるいはどちらもはぴにゅぴにLv.7事件を阻止する fact2: 吐き出せることが発生する ; $hypothesis$ = ぴにゅぴにLv.7事件が起きる ; $proof$ = 
fact2 -> int1: 若者らしいということが起こるかもしくは吐き出せることが発生するか両方ともである; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __DISPROVED__