まにょまわLv.13事件は起きない
fact1: 「まにょまわLv.13事件は生じない」ということはしょぼいということかまたはぷにゅぷちゃLv.59事件かもしくは両方にもたらされる fact2: しょぼいということとぴちゃぴにLv.45事件両方が起こる fact3: 「まにょまわLv.13事件は起きない」ということはぷにゅぷちゃLv.59事件がきっかけである
fact2 -> int1: しょぼいということが起こる; int1 -> int2: しょぼいということかまたはぷにゅぷちゃLv.59事件かまたは両方が生じる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「まにょまわLv.13事件は生じない」ということはしょぼいということかまたはぷにゅぷちゃLv.59事件かもしくは両方にもたらされる fact2: しょぼいということとぴちゃぴにLv.45事件両方が起こる fact3: 「まにょまわLv.13事件は起きない」ということはぷにゅぷちゃLv.59事件がきっかけである ; $hypothesis$ = まにょまわLv.13事件は起きない ; $proof$ = 
fact2 -> int1: しょぼいということが起こる; int1 -> int2: しょぼいということかまたはぷにゅぷちゃLv.59事件かまたは両方が生じる; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis; __PROVED__