「付けることは起きない」ということは成り立つ
fact1: 卑しということとぽちょぽちゃLv.23事件が生じる fact2: 「ぴにょぴゆLv.14事件は発生しない」ということは卑しということに阻止される
fact1 -> int1: 卑しということが起こる; int1 & fact2 -> int2: ぴにょぴゆLv.14事件が起こる;
fact1 -> int1: {A}; int1 & fact2 -> int2: {C};
$facts$ = fact1: 卑しということとぽちょぽちゃLv.23事件が生じる fact2: 「ぴにょぴゆLv.14事件は発生しない」ということは卑しということに阻止される ; $hypothesis$ = 「付けることは起きない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__