移り易いということが起こる
fact1: ぷくぷえLv.37事件は起こらない fact2: もしもぴちょぴやLv.69事件が発生するなら使い辛いということは生じなくてもにゃもねLv.14事件は起こらない fact3: 仮に振り撒くことではなくて女々しいということが起こるとするとぷくぷえLv.37事件が生じる fact4: 「上がり易いということおよびまいまなLv.56事件両方が生じる」ということはぷくぷえLv.37事件は生じないということにもたらされる fact5: もし上がり易いということかあるいはみゆみやLv.33事件かあるいは両方が起こるとすると移り易いということは生じない fact6: まいまなLv.56事件は起きないということは移り易いということと上がり易いということが起こるを発生させる fact7: 「使用し易いということは生じない」ということは「使い辛いということは発生しないしそれにもにゃもねLv.14事件は発生しない」ということが契機だ fact8: もしも使用し易いということは起こらないとしたら振り撒くことは起きないけれど女々しいということが起こる
fact1 & fact4 -> int1: 上がり易いということとまいまなLv.56事件が発生する; int1 -> int2: 上がり易いということが起こる; int2 -> int3: 上がり易いということが起きるかまたはみゆみやLv.33事件が生じるかあるいは両方ともだ; int3 & fact5 -> hypothesis;
fact1 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact5 -> hypothesis;
移り易いということが起こる
$facts$ = fact1: ぷくぷえLv.37事件は起こらない fact2: もしもぴちょぴやLv.69事件が発生するなら使い辛いということは生じなくてもにゃもねLv.14事件は起こらない fact3: 仮に振り撒くことではなくて女々しいということが起こるとするとぷくぷえLv.37事件が生じる fact4: 「上がり易いということおよびまいまなLv.56事件両方が生じる」ということはぷくぷえLv.37事件は生じないということにもたらされる fact5: もし上がり易いということかあるいはみゆみやLv.33事件かあるいは両方が起こるとすると移り易いということは生じない fact6: まいまなLv.56事件は起きないということは移り易いということと上がり易いということが起こるを発生させる fact7: 「使用し易いということは生じない」ということは「使い辛いということは発生しないしそれにもにゃもねLv.14事件は発生しない」ということが契機だ fact8: もしも使用し易いということは起こらないとしたら振り撒くことは起きないけれど女々しいということが起こる ; $hypothesis$ = 移り易いということが起こる ; $proof$ = 
fact1 & fact4 -> int1: 上がり易いということとまいまなLv.56事件が発生する; int1 -> int2: 上がり易いということが起こる; int2 -> int3: 上がり易いということが起きるかまたはみゆみやLv.33事件が生じるかあるいは両方ともだ; int3 & fact5 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact5 -> hypothesis; __DISPROVED__