ぽちょぽなLv.42事件は生じなくてぴよぴよLv.57事件は生じない
fact1: うら若いということが生じる fact2: 「卑しということが生じる」ということは正しい fact3: ぴよぴよLv.57事件は起こらない fact4: ものもやLv.85事件が発生する fact5: もしものもやLv.85事件が生じないなら生着することが生じなくてその上フォーマットすることは生じない fact6: ものもやLv.85事件およびうら若いということが生じるはぽちょぽなLv.42事件が発生するということを阻止する
fact4 & fact1 -> int1: ものもやLv.85事件およびうら若いということが起こる; int1 & fact6 -> int2: ぽちょぽなLv.42事件は生じない; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact3 -> hypothesis;
生着することが起きないしそれにフォーマットすることは起こらない
$facts$ = fact1: うら若いということが生じる fact2: 「卑しということが生じる」ということは正しい fact3: ぴよぴよLv.57事件は起こらない fact4: ものもやLv.85事件が発生する fact5: もしものもやLv.85事件が生じないなら生着することが生じなくてその上フォーマットすることは生じない fact6: ものもやLv.85事件およびうら若いということが生じるはぽちょぽなLv.42事件が発生するということを阻止する ; $hypothesis$ = ぽちょぽなLv.42事件は生じなくてぴよぴよLv.57事件は生じない ; $proof$ = 
fact4 & fact1 -> int1: ものもやLv.85事件およびうら若いということが起こる; int1 & fact6 -> int2: ぽちょぽなLv.42事件は生じない; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact3 -> hypothesis; __PROVED__