ぴにゃぴゆLv.49事件と歯痒いということ両方ともが生じる
fact1: 歯痒いということが発生する fact2: 仮に黒しということが生じるとするとぴにゃぴゆLv.49事件が生じる fact3: 黒しということが生じる fact4: 「険しいということは生じない」ということは埃っぽいということに防がれる fact5: ぽわぽよLv.15事件が起こる
fact2 & fact3 -> int1: ぴにゃぴゆLv.49事件が発生する; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 歯痒いということが発生する fact2: 仮に黒しということが生じるとするとぴにゃぴゆLv.49事件が生じる fact3: 黒しということが生じる fact4: 「険しいということは生じない」ということは埃っぽいということに防がれる fact5: ぽわぽよLv.15事件が起こる ; $hypothesis$ = ぴにゃぴゆLv.49事件と歯痒いということ両方ともが生じる ; $proof$ = 
fact2 & fact3 -> int1: ぴにゃぴゆLv.49事件が発生する; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}; int1 & fact1 -> hypothesis; __PROVED__