御めでたいということは起こらない
fact1: 「腐り易いということかあるいは注意深いということが起こる」ということは御めでたいということは起きないということをもたらす fact2: 合うことが起こる fact3: もし「ぷちょぷゆLv.54事件は生じない」ということは事実であるならぽくぽゆLv.75事件ではなくて根気強いということが発生する fact4: 「ぽくぽゆLv.75事件ではなく根気強いということが起きる」ということはもにょもなLv.74事件を防ぐ fact5: 「注意深いということは起こらない」ということは合うことに阻まれる fact6: もしも「もにょもなLv.74事件は起こらない」ということは事実だとすれば御めでたいということおよび十二倍することが起きる
fact5 & fact2 -> int1: 注意深いということが発生する; int1 -> int2: 腐り易いということが起きるかもしくは注意深いということが起こるか両方である; int2 & fact1 -> hypothesis;
fact5 & fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis;
振りすることは発生しない
$facts$ = fact1: 「腐り易いということかあるいは注意深いということが起こる」ということは御めでたいということは起きないということをもたらす fact2: 合うことが起こる fact3: もし「ぷちょぷゆLv.54事件は生じない」ということは事実であるならぽくぽゆLv.75事件ではなくて根気強いということが発生する fact4: 「ぽくぽゆLv.75事件ではなく根気強いということが起きる」ということはもにょもなLv.74事件を防ぐ fact5: 「注意深いということは起こらない」ということは合うことに阻まれる fact6: もしも「もにょもなLv.74事件は起こらない」ということは事実だとすれば御めでたいということおよび十二倍することが起きる ; $hypothesis$ = 御めでたいということは起こらない ; $proof$ = 
fact5 & fact2 -> int1: 注意深いということが発生する; int1 -> int2: 腐り易いということが起きるかもしくは注意深いということが起こるか両方である; int2 & fact1 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis; __PROVED__