苦しむことかもしくは正しということかもしくはどちらもが起こる
fact1: なあいということは起こらない fact2: 仮になあいということは生じないとすると煽り立てることが生じるしさらに脱力することが起こる fact3: 正しということが起こるということは「煽り立てることが発生する」ということにより発生する fact4: もしもし尽くすことが起こらないとすればもえもにゅLv.86事件および事業化することは発生する
fact2 & fact1 -> int1: 煽り立てることおよび脱力すること両方が起きる; int1 -> int2: 煽り立てることが起こる; int2 & fact3 -> int3: 正しということが起きる; int3 -> hypothesis;
fact2 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: {C}; int3 -> hypothesis;
$facts$ = fact1: なあいということは起こらない fact2: 仮になあいということは生じないとすると煽り立てることが生じるしさらに脱力することが起こる fact3: 正しということが起こるということは「煽り立てることが発生する」ということにより発生する fact4: もしもし尽くすことが起こらないとすればもえもにゅLv.86事件および事業化することは発生する ; $hypothesis$ = 苦しむことかもしくは正しということかもしくはどちらもが起こる ; $proof$ = 
fact2 & fact1 -> int1: 煽り立てることおよび脱力すること両方が起きる; int1 -> int2: 煽り立てることが起こる; int2 & fact3 -> int3: 正しということが起きる; int3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: {C}; int3 -> hypothesis; __PROVED__