「もにゅもちょLv.24事件は発生するしぷにぷよLv.44事件は起きない」ということは成り立つということはない
fact1: みよみいLv.85事件は生じない fact2: 「「ぽにょぽにょLv.95事件は起こらなくてこよないということは生じない」ということは進化し易いということは起きないということに誘発される」ということは成り立つ fact3: 仮に「みよみいLv.85事件と冬らしいということ両方が発生する」ということは嘘であるとすれば先着することは発生しない fact4: 「ぽなぽちゅLv.88事件が起こる」ということは「もにゅもちょLv.24事件ではなくぷにぷよLv.44事件が起こる」ということの原因となる fact5: こよないということは発生しないということは「ぽなぽちゅLv.88事件および女性らしいということが生じる」ということを招く fact6: 「仮に「もにゅもちょLv.24事件は起きない」ということは確かであるならば「みよみいLv.85事件および冬らしいということ両方が発生する」ということは事実と異なる」ということは成り立つ fact7: みよみいLv.85事件が生じないということは冬らしいということは発生するということに阻まれる
void -> assump1: 以下のように仮定する。冬らしいということが発生する; fact7 & assump1 -> int1: みよみいLv.85事件が生じる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 冬らしいということは発生しない;
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A};
先着することは起こらない
$facts$ = fact1: みよみいLv.85事件は生じない fact2: 「「ぽにょぽにょLv.95事件は起こらなくてこよないということは生じない」ということは進化し易いということは起きないということに誘発される」ということは成り立つ fact3: 仮に「みよみいLv.85事件と冬らしいということ両方が発生する」ということは嘘であるとすれば先着することは発生しない fact4: 「ぽなぽちゅLv.88事件が起こる」ということは「もにゅもちょLv.24事件ではなくぷにぷよLv.44事件が起こる」ということの原因となる fact5: こよないということは発生しないということは「ぽなぽちゅLv.88事件および女性らしいということが生じる」ということを招く fact6: 「仮に「もにゅもちょLv.24事件は起きない」ということは確かであるならば「みよみいLv.85事件および冬らしいということ両方が発生する」ということは事実と異なる」ということは成り立つ fact7: みよみいLv.85事件が生じないということは冬らしいということは発生するということに阻まれる ; $hypothesis$ = 「もにゅもちょLv.24事件は発生するしぷにぷよLv.44事件は起きない」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__