まくまなLv.57事件は発生しない
fact1: 嫌らしいということが生じるかまたはまにゃまやLv.20事件が発生する fact2: もしも底堅いということが生じるとすれば「まくまなLv.57事件は発生するしもなもちょLv.36事件は発生しない」ということは事実と異なる fact3: まにゃまやLv.20事件は「ぽゆぽにょLv.95事件は起こらない」ということを阻む fact4: まくまなLv.57事件は発生しないということは「ぽゆぽにょLv.95事件が起こるかまたはもなもちょLv.36事件が起きる」ということに誘発される fact5: 嫌らしいということは「ぽゆぽにょLv.95事件は生じない」ということを回避する
fact1 & fact5 & fact3 -> int1: ぽゆぽにょLv.95事件が生じる; int1 -> int2: ぽゆぽにょLv.95事件が生じるかもなもちょLv.36事件が生じるかもしくは両方ともだ; int2 & fact4 -> hypothesis;
fact1 & fact5 & fact3 -> int1: {C}; int1 -> int2: ({C} v {D}); int2 & fact4 -> hypothesis;
入手し易いということかあるいは解し難いということかまたは両方ともが発生する
$facts$ = fact1: 嫌らしいということが生じるかまたはまにゃまやLv.20事件が発生する fact2: もしも底堅いということが生じるとすれば「まくまなLv.57事件は発生するしもなもちょLv.36事件は発生しない」ということは事実と異なる fact3: まにゃまやLv.20事件は「ぽゆぽにょLv.95事件は起こらない」ということを阻む fact4: まくまなLv.57事件は発生しないということは「ぽゆぽにょLv.95事件が起こるかまたはもなもちょLv.36事件が起きる」ということに誘発される fact5: 嫌らしいということは「ぽゆぽにょLv.95事件は生じない」ということを回避する ; $hypothesis$ = まくまなLv.57事件は発生しない ; $proof$ = 
fact1 & fact5 & fact3 -> int1: ぽゆぽにょLv.95事件が生じる; int1 -> int2: ぽゆぽにょLv.95事件が生じるかもなもちょLv.36事件が生じるかもしくは両方ともだ; int2 & fact4 -> hypothesis; __PROVED__
fact1 & fact5 & fact3 -> int1: {C}; int1 -> int2: ({C} v {D}); int2 & fact4 -> hypothesis; __PROVED__