以下のように仮定する。ぷちゅぷやLv.42事件が起こる
fact1: もにゃもくLv.77事件が発生する fact2: 守り導くことが生じるしみにょみよLv.15事件が生じる fact3: 「もしも「砕け易いということおよびぴねぴにゅLv.51事件両方が起こる」ということは事実と異なるならぴねぴにゅLv.51事件は発生しない」ということは成り立つ fact4: もし理解し易いということは起こらないかあるいはまよまえLv.81事件が起こらないか両方ともだとすればみねみいLv.13事件は発生しない fact5: 「植民地化することが起きるかもしくはもにゃもくLv.77事件が起こる」ということは「みねみいLv.13事件は生じない」ということにより発生する fact6: ぴねぴにゅLv.51事件が起こらないということは理解し易いということは起きないということかあるいはまよまえLv.81事件は生じないということかもしくはどちらもを招く fact7: 植民地化することが発生する
void -> assump1: 以下のように仮定する。ぷちゅぷやLv.42事件が起こる; fact7 & assump1 -> int1: 植民地化することおよびぷちゅぷやLv.42事件が発生する;
void -> assump1: {B}; fact7 & assump1 -> int1: ({A} & {B});
以下のように仮定する。ぷちゅぷやLv.42事件が起こる
$facts$ = fact1: もにゃもくLv.77事件が発生する fact2: 守り導くことが生じるしみにょみよLv.15事件が生じる fact3: 「もしも「砕け易いということおよびぴねぴにゅLv.51事件両方が起こる」ということは事実と異なるならぴねぴにゅLv.51事件は発生しない」ということは成り立つ fact4: もし理解し易いということは起こらないかあるいはまよまえLv.81事件が起こらないか両方ともだとすればみねみいLv.13事件は発生しない fact5: 「植民地化することが起きるかもしくはもにゃもくLv.77事件が起こる」ということは「みねみいLv.13事件は生じない」ということにより発生する fact6: ぴねぴにゅLv.51事件が起こらないということは理解し易いということは起きないということかあるいはまよまえLv.81事件は生じないということかもしくはどちらもを招く fact7: 植民地化することが発生する ; $hypothesis$ = 以下のように仮定する。ぷちゅぷやLv.42事件が起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__