まにまやLv.20事件とつんのめること両方が発生する
fact1: まにまやLv.20事件が生じる fact2: みなみなLv.69事件が起きる fact3: 御優しいということとぴにゃぴねLv.41事件が起こる fact4: もしも御優しいということは発生しないとすると「まにまやLv.20事件とつんのめること両方ともが発生する」ということは誤りだ fact5: 「ぴにゃぴねLv.41事件が生じる」ということは成り立つ fact6: つんのめることは「御優しいということが発生する」ということにより発生する
fact3 -> int1: 御優しいということが起きる; int1 & fact6 -> int2: つんのめることが起きる; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis;
「まにまやLv.20事件が発生するしつんのめることが生じる」ということは成り立たない
$facts$ = fact1: まにまやLv.20事件が生じる fact2: みなみなLv.69事件が起きる fact3: 御優しいということとぴにゃぴねLv.41事件が起こる fact4: もしも御優しいということは発生しないとすると「まにまやLv.20事件とつんのめること両方ともが発生する」ということは誤りだ fact5: 「ぴにゃぴねLv.41事件が生じる」ということは成り立つ fact6: つんのめることは「御優しいということが発生する」ということにより発生する ; $hypothesis$ = まにまやLv.20事件とつんのめること両方が発生する ; $proof$ = 
fact3 -> int1: 御優しいということが起きる; int1 & fact6 -> int2: つんのめることが起きる; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__