「ぽえぽにゃLv.92事件は起こらない」ということは真実である
fact1: もし仮に開大することは起こらないとしたら書き並べることおよびぴえぴやLv.41事件どちらもが発生する fact2: 開大することはさもしいということとぽえぽにゃLv.92事件が起こるに防がれる fact3: ぴえぴやLv.41事件および開大することが生じる
fact3 -> int1: 開大することが起きる; int1 -> int2: 開大することかさもしいということが起こる;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C});
書き並べることかぴくぴわLv.56事件が発生する
$facts$ = fact1: もし仮に開大することは起こらないとしたら書き並べることおよびぴえぴやLv.41事件どちらもが発生する fact2: 開大することはさもしいということとぽえぽにゃLv.92事件が起こるに防がれる fact3: ぴえぴやLv.41事件および開大することが生じる ; $hypothesis$ = 「ぽえぽにゃLv.92事件は起こらない」ということは真実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__