勝ち易いということが生じる
fact1: もしも薄汚いということが生じるかまたはぴにゃぴよLv.51事件が起きるかもしくは両方ともであるとしたら勝ち易いということは発生しない fact2: ぴにゃぴよLv.51事件は勝ち易いということは生じないということを引き起こす fact3: まねまいLv.52事件が起きる fact4: 行使出来ることが起きるかもしくは与え難いということが起こるかあるいは両方ともだ fact5: ぴねぴえLv.40事件が生じる fact6: もしも「まねまいLv.52事件とべた付き易いということ両方ともが起きる」ということは成り立たないとしたら「べた付き易いということは起きない」ということは正しい fact7: 薄汚いということは発生しないということはまねまいLv.52事件が発生するということに防がれる
fact7 & fact3 -> int1: 「薄汚いということが発生する」ということは成り立つ; int1 -> int2: 薄汚いということかぴにゃぴよLv.51事件かどちらもが発生する; int2 & fact1 -> hypothesis;
fact7 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact1 -> hypothesis;
べた付き易いということは発生しない
$facts$ = fact1: もしも薄汚いということが生じるかまたはぴにゃぴよLv.51事件が起きるかもしくは両方ともであるとしたら勝ち易いということは発生しない fact2: ぴにゃぴよLv.51事件は勝ち易いということは生じないということを引き起こす fact3: まねまいLv.52事件が起きる fact4: 行使出来ることが起きるかもしくは与え難いということが起こるかあるいは両方ともだ fact5: ぴねぴえLv.40事件が生じる fact6: もしも「まねまいLv.52事件とべた付き易いということ両方ともが起きる」ということは成り立たないとしたら「べた付き易いということは起きない」ということは正しい fact7: 薄汚いということは発生しないということはまねまいLv.52事件が発生するということに防がれる ; $hypothesis$ = 勝ち易いということが生じる ; $proof$ = 
fact7 & fact3 -> int1: 「薄汚いということが発生する」ということは成り立つ; int1 -> int2: 薄汚いということかぴにゃぴよLv.51事件かどちらもが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact1 -> hypothesis; __DISPROVED__