以下のように仮定する。「ぽゆぽにLv.19事件が生じる」ということは成り立つ
fact1: 「作業し易いということは起きない」ということは「絶叫することおよびぷにゃぷちゅLv.2事件両方ともが起きる」ということの原因となる fact2: 絶叫することが生じる fact3: 「ぽゆぽにLv.19事件は起こらない」ということはぷにゃぷちゅLv.2事件が生じるということに防がれる
void -> assump1: 以下のように仮定する。「ぽゆぽにLv.19事件が生じる」ということは成り立つ; assump1 -> int1: ぽゆぽにLv.19事件が起きるかぷにゃぷちゅLv.2事件が起きる;
void -> assump1: {A}; assump1 -> int1: ({A} v {B});
以下のように仮定する。「ぽゆぽにLv.19事件が生じる」ということは成り立つ
$facts$ = fact1: 「作業し易いということは起きない」ということは「絶叫することおよびぷにゃぷちゅLv.2事件両方ともが起きる」ということの原因となる fact2: 絶叫することが生じる fact3: 「ぽゆぽにLv.19事件は起こらない」ということはぷにゃぷちゅLv.2事件が生じるということに防がれる ; $hypothesis$ = 以下のように仮定する。「ぽゆぽにLv.19事件が生じる」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__