ぴにぴいLv.4事件は生じない
fact1: もし仮に堪え難いということは生じないならまくまのLv.67事件とまよまいLv.73事件が生じる fact2: ぷちゃぷちゃLv.78事件と懐かしいということどちらもが生じる fact3: まよまいLv.73事件と堪え難いということが生じる fact4: ぴにぴいLv.4事件は「堪え難いということかあるいはみえみにょLv.44事件が起こる」ということに阻まれる fact5: 下ろし易いということが生じる
fact3 -> int1: 堪え難いということが起こる; int1 -> int2: 堪え難いということが起こるかあるいはみえみにょLv.44事件が発生する; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact4 -> hypothesis;
まくまのLv.67事件かあるいはぷいぷのLv.60事件か両方ともが生じる
$facts$ = fact1: もし仮に堪え難いということは生じないならまくまのLv.67事件とまよまいLv.73事件が生じる fact2: ぷちゃぷちゃLv.78事件と懐かしいということどちらもが生じる fact3: まよまいLv.73事件と堪え難いということが生じる fact4: ぴにぴいLv.4事件は「堪え難いということかあるいはみえみにょLv.44事件が起こる」ということに阻まれる fact5: 下ろし易いということが生じる ; $hypothesis$ = ぴにぴいLv.4事件は生じない ; $proof$ = 
fact3 -> int1: 堪え難いということが起こる; int1 -> int2: 堪え難いということが起こるかあるいはみえみにょLv.44事件が発生する; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact4 -> hypothesis; __PROVED__