ぴのぴのLv.41事件は発生しない
fact1: 仮にぷよぷにゃLv.85事件かまたはぴにぴやLv.85事件かあるいは両方ともが生じるとしたらぴのぴのLv.41事件は起きない fact2: もしも心地良いということは起きないとしたらぴのぴのLv.41事件およびぴにぴやLv.85事件両方ともが発生する fact3: 仮に御固いということおよびぷよぷにゃLv.85事件が生じるとしたら心地良いということは生じない fact4: ぴにぴやLv.85事件および心地良いということ両方ともが生じる
fact4 -> int1: 「ぴにぴやLv.85事件が起きる」ということは確かだ; int1 -> int2: ぷよぷにゃLv.85事件かもしくはぴにぴやLv.85事件かまたはどちらもが生じる; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact1 -> hypothesis;
ぴのぴのLv.41事件が発生する
$facts$ = fact1: 仮にぷよぷにゃLv.85事件かまたはぴにぴやLv.85事件かあるいは両方ともが生じるとしたらぴのぴのLv.41事件は起きない fact2: もしも心地良いということは起きないとしたらぴのぴのLv.41事件およびぴにぴやLv.85事件両方ともが発生する fact3: 仮に御固いということおよびぷよぷにゃLv.85事件が生じるとしたら心地良いということは生じない fact4: ぴにぴやLv.85事件および心地良いということ両方ともが生じる ; $hypothesis$ = ぴのぴのLv.41事件は発生しない ; $proof$ = 
fact4 -> int1: 「ぴにぴやLv.85事件が起きる」ということは確かだ; int1 -> int2: ぷよぷにゃLv.85事件かもしくはぴにぴやLv.85事件かまたはどちらもが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact1 -> hypothesis; __PROVED__