「みねみのLv.35事件が起きないかもしくはぽちゅぽちょLv.13事件は起きない」ということは嘘である
fact1: 「みねみのLv.35事件は起こらない」ということかもしくは「ぽちゅぽちょLv.13事件は起きない」ということかどちらもはもいもよLv.67事件を発生させる fact2: 悪しいということは生じないということはもいもよLv.67事件に防がれる fact3: 悪しいということは起きない fact4: もいもよLv.67事件は生じないということかもしくは可笑しいということは「もいもよLv.67事件は生じない」ということを生じさせる fact5: 艶めかしいということは発生しないということは「もいもよLv.67事件が起こらないかもしくは可笑しいということは発生するかもしくは両方である」ということを生じさせる fact6: もしも「みねみのLv.35事件が起こるが悪しいということは起きない」ということは事実と異なればみねみのLv.35事件は起こらない fact7: 「ぽちゅぽちょLv.13事件が起こる」ということは誤りだということはない fact8: もしも「「もいもよLv.67事件が発生する一方で可笑しいということは生じない」ということは間違っている」ということは成り立つとするともいもよLv.67事件は生じない
void -> assump1: 以下のように仮定する。みねみのLv.35事件が起こらないかあるいはぽちゅぽちょLv.13事件は起きないかもしくはどちらもである; fact1 & assump1 -> int1: もいもよLv.67事件が生じる; int1 & fact2 -> int2: 悪しいということが起こる; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA} v ¬{AB}); fact1 & assump1 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。みねみのLv.35事件が起こらないかあるいはぽちゅぽちょLv.13事件は起きないかもしくはどちらもである
$facts$ = fact1: 「みねみのLv.35事件は起こらない」ということかもしくは「ぽちゅぽちょLv.13事件は起きない」ということかどちらもはもいもよLv.67事件を発生させる fact2: 悪しいということは生じないということはもいもよLv.67事件に防がれる fact3: 悪しいということは起きない fact4: もいもよLv.67事件は生じないということかもしくは可笑しいということは「もいもよLv.67事件は生じない」ということを生じさせる fact5: 艶めかしいということは発生しないということは「もいもよLv.67事件が起こらないかもしくは可笑しいということは発生するかもしくは両方である」ということを生じさせる fact6: もしも「みねみのLv.35事件が起こるが悪しいということは起きない」ということは事実と異なればみねみのLv.35事件は起こらない fact7: 「ぽちゅぽちょLv.13事件が起こる」ということは誤りだということはない fact8: もしも「「もいもよLv.67事件が発生する一方で可笑しいということは生じない」ということは間違っている」ということは成り立つとするともいもよLv.67事件は生じない ; $hypothesis$ = 「みねみのLv.35事件が起きないかもしくはぽちゅぽちょLv.13事件は起きない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。みねみのLv.35事件が起こらないかあるいはぽちゅぽちょLv.13事件は起きないかもしくはどちらもである; fact1 & assump1 -> int1: もいもよLv.67事件が生じる; int1 & fact2 -> int2: 悪しいということが起こる; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: (¬{AA} v ¬{AB}); fact1 & assump1 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__