もにゃもなLv.40事件かまたは愛しいということが起きる
fact1: ブレーキングすることが発生する fact2: もにゃもなLv.40事件が発生する fact3: ぴにゃぴわLv.44事件が発生するかもしくはみにゃみやLv.12事件が起きるかあるいは両方である fact4: 「仮にぽにぽゆLv.5事件は起こらないなら「もにゃもなLv.40事件が起こるかもしくは愛しいということが生じるかあるいは両方だ」ということは嘘である」ということは本当である fact5: 遣る瀬無いということが発生する
fact2 -> int1: もにゃもなLv.40事件が発生する; int1 -> hypothesis;
fact2 -> int1: {A}; int1 -> hypothesis;
「もにゃもなLv.40事件が起こるか愛しいということが生じる」ということは誤りだ
$facts$ = fact1: ブレーキングすることが発生する fact2: もにゃもなLv.40事件が発生する fact3: ぴにゃぴわLv.44事件が発生するかもしくはみにゃみやLv.12事件が起きるかあるいは両方である fact4: 「仮にぽにぽゆLv.5事件は起こらないなら「もにゃもなLv.40事件が起こるかもしくは愛しいということが生じるかあるいは両方だ」ということは嘘である」ということは本当である fact5: 遣る瀬無いということが発生する ; $hypothesis$ = もにゃもなLv.40事件かまたは愛しいということが起きる ; $proof$ = 
fact2 -> int1: もにゃもなLv.40事件が発生する; int1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 -> hypothesis; __PROVED__