「とろいということは発生しないし押し易いということは起きない」ということは誤りだ
fact1: 仮にまちょまにゃLv.37事件は生じないとすると「「とろいということは生じなくてその上押し易いということは起こらない」ということは成り立つということはない」ということは成り立つ fact2: 頼み難いということが起こる fact3: 仮に頼み難いということおよび息み始めることどちらもが起こるとするとまちょまにゃLv.37事件は生じない fact4: 「とろいということが生じるし押し易いということは発生しない」ということは間違いである fact5: もしも「頼み難いということは生じないけどとろいということが起こる」ということは成り立たないならばとろいということは生じない fact6: 息み始めることが発生する
fact2 & fact6 -> int1: 頼み難いということと息み始めること両方が生じる; int1 & fact3 -> int2: 「まちょまにゃLv.37事件は生じない」ということは事実である; int2 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
とろいということは起こらなくてかつ押し易いということは起こらない
$facts$ = fact1: 仮にまちょまにゃLv.37事件は生じないとすると「「とろいということは生じなくてその上押し易いということは起こらない」ということは成り立つということはない」ということは成り立つ fact2: 頼み難いということが起こる fact3: 仮に頼み難いということおよび息み始めることどちらもが起こるとするとまちょまにゃLv.37事件は生じない fact4: 「とろいということが生じるし押し易いということは発生しない」ということは間違いである fact5: もしも「頼み難いということは生じないけどとろいということが起こる」ということは成り立たないならばとろいということは生じない fact6: 息み始めることが発生する ; $hypothesis$ = 「とろいということは発生しないし押し易いということは起きない」ということは誤りだ ; $proof$ = 
fact2 & fact6 -> int1: 頼み難いということと息み始めること両方が生じる; int1 & fact3 -> int2: 「まちょまにゃLv.37事件は生じない」ということは事実である; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __PROVED__