以下のように仮定する。まにゃまちゃLv.14事件が生じる
fact1: 分かり難いということが起こる fact2: もし其れっぽいということではなくてぴなぴなLv.4事件が発生すればぷにょぷよLv.64事件は起きない fact3: ぷにょぷよLv.64事件が起きないということはもにゃもいLv.94事件および分かり難いということは発生するに繋がる fact4: まにゃまちゃLv.14事件は起こらないということはもにゃもいLv.94事件に阻まれる fact5: 真新しいということは起こらないということは「其れっぽいということではなくぴなぴなLv.4事件が起きる」ということを発生させる fact6: もし仮に「ぷにょぷなLv.36事件と侘しいということどちらもが起こる」ということは成り立たないならば真新しいということは発生しない
void -> assump1: 以下のように仮定する。まにゃまちゃLv.14事件が生じる; assump1 -> int1: もにゃもいLv.94事件かあるいはまにゃまちゃLv.14事件かもしくは両方ともが起こる;
void -> assump1: {B}; assump1 -> int1: ({A} v {B});
以下のように仮定する。まにゃまちゃLv.14事件が生じる
$facts$ = fact1: 分かり難いということが起こる fact2: もし其れっぽいということではなくてぴなぴなLv.4事件が発生すればぷにょぷよLv.64事件は起きない fact3: ぷにょぷよLv.64事件が起きないということはもにゃもいLv.94事件および分かり難いということは発生するに繋がる fact4: まにゃまちゃLv.14事件は起こらないということはもにゃもいLv.94事件に阻まれる fact5: 真新しいということは起こらないということは「其れっぽいということではなくぴなぴなLv.4事件が起きる」ということを発生させる fact6: もし仮に「ぷにょぷなLv.36事件と侘しいということどちらもが起こる」ということは成り立たないならば真新しいということは発生しない ; $hypothesis$ = 以下のように仮定する。まにゃまちゃLv.14事件が生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__