現われ易いということが発生する
fact1: 攣ることが起きるし更にぴえぴにゃLv.3事件が起きる fact2: もし仮に攣ることが起こるがしかしぴえぴにゃLv.3事件は発生しないとすると「現われ易いということが生じる」ということは本当である fact3: 掴み難いということは「攣ることが生じるしぴえぴにゃLv.3事件は生じない」ということを発生させる
fact1 -> int1: ぴえぴにゃLv.3事件が生じる; int1 -> int2: ぴえぴにゃLv.3事件が起こるかあるいは掴み難いということが生じる;
fact1 -> int1: {B}; int1 -> int2: ({B} v {C});
現われ易いということが発生する
$facts$ = fact1: 攣ることが起きるし更にぴえぴにゃLv.3事件が起きる fact2: もし仮に攣ることが起こるがしかしぴえぴにゃLv.3事件は発生しないとすると「現われ易いということが生じる」ということは本当である fact3: 掴み難いということは「攣ることが生じるしぴえぴにゃLv.3事件は生じない」ということを発生させる ; $hypothesis$ = 現われ易いということが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__