手加減することが起きる
fact1: ぴにゃぴにゃLv.56事件が手加減することは生じないということを阻止する fact2: ぴにゃぴにゃLv.56事件が発生する fact3: 「ぷなぷちゃLv.87事件が生じるかあるいは手加減することは生じないかどちらもだ」ということは事実だとすると手加減することは発生しない
fact2 -> int1: ぴにゃぴにゃLv.56事件が発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
ぴねぴにょLv.35事件が生じる
$facts$ = fact1: ぴにゃぴにゃLv.56事件が手加減することは生じないということを阻止する fact2: ぴにゃぴにゃLv.56事件が発生する fact3: 「ぷなぷちゃLv.87事件が生じるかあるいは手加減することは生じないかどちらもだ」ということは事実だとすると手加減することは発生しない ; $hypothesis$ = 手加減することが起きる ; $proof$ = 
fact2 -> int1: ぴにゃぴにゃLv.56事件が発生する; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__