「間違い易いということが生じる」ということは本当だ
fact1: もし「「間違い易いということとまにまちゃLv.65事件が起こる」ということは成り立たない」ということは事実だとすると間違い易いということは起こらない fact2: 「間違い易いということは起こらない」ということは人らしいということに阻止される fact3: 精根尽き果てることおよびまにまちゃLv.65事件両方ともが起こる fact4: もえもよLv.6事件が起こるということは潔しということを生じさせる fact5: 「すっごいということおよび精根尽き果てることどちらもが発生する」ということは間違いであるとすると精根尽き果てることは起こらない fact6: もし仮に精根尽き果てることは起こらないとすれば「「間違い易いということとまにまちゃLv.65事件両方が起こる」ということは成り立たない」ということは誤っていない fact7: 人らしいということは起きないということはまにまちゃLv.65事件に防がれる fact8: もし仮にまにまちゃLv.65事件は起こらないとするとぽねぽなLv.67事件と精根尽き果てることが起こる
fact3 -> int1: 「「まにまちゃLv.65事件は生じない」ということは嘘である」ということは確かである; int1 & fact7 -> int2: 人らしいということが発生する; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact2 -> hypothesis;
間違い易いということは生じない
$facts$ = fact1: もし「「間違い易いということとまにまちゃLv.65事件が起こる」ということは成り立たない」ということは事実だとすると間違い易いということは起こらない fact2: 「間違い易いということは起こらない」ということは人らしいということに阻止される fact3: 精根尽き果てることおよびまにまちゃLv.65事件両方ともが起こる fact4: もえもよLv.6事件が起こるということは潔しということを生じさせる fact5: 「すっごいということおよび精根尽き果てることどちらもが発生する」ということは間違いであるとすると精根尽き果てることは起こらない fact6: もし仮に精根尽き果てることは起こらないとすれば「「間違い易いということとまにまちゃLv.65事件両方が起こる」ということは成り立たない」ということは誤っていない fact7: 人らしいということは起きないということはまにまちゃLv.65事件に防がれる fact8: もし仮にまにまちゃLv.65事件は起こらないとするとぽねぽなLv.67事件と精根尽き果てることが起こる ; $hypothesis$ = 「間違い易いということが生じる」ということは本当だ ; $proof$ = 
fact3 -> int1: 「「まにまちゃLv.65事件は生じない」ということは嘘である」ということは確かである; int1 & fact7 -> int2: 人らしいということが発生する; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__