そのみなみにゃLv.14は許し難い
fact1: あのみなみなLv.60は捕まえ易い fact2: もしあのみなみなLv.60が想像し易いし捕まえ易いとすれば許し難くない fact3: あのみなみなLv.60は想像し易いしおまけに断り難い fact4: もしもあのみなみなLv.60が許し難いとするとそのみなみにゃLv.14は許し難いということはない fact5: 仮に「あのみなみなLv.60は許し難くない」ということは真実であるとすればそのみなみにゃLv.14はバウンドするししかもそれは許し難い
fact3 -> int1: あのみなみなLv.60は想像し易い; int1 & fact1 -> int2: あのみなみなLv.60は想像し易いし更に捕まえ易い; int2 & fact2 -> int3: あのみなみなLv.60は許し難くない; int3 & fact5 -> int4: そのみなみにゃLv.14はバウンドするしそれにそれは許し難い; int4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{a}; int3 & fact5 -> int4: ({E}{b} & {D}{b}); int4 -> hypothesis;
そのみなみにゃLv.14は許し難くない
$facts$ = fact1: あのみなみなLv.60は捕まえ易い fact2: もしあのみなみなLv.60が想像し易いし捕まえ易いとすれば許し難くない fact3: あのみなみなLv.60は想像し易いしおまけに断り難い fact4: もしもあのみなみなLv.60が許し難いとするとそのみなみにゃLv.14は許し難いということはない fact5: 仮に「あのみなみなLv.60は許し難くない」ということは真実であるとすればそのみなみにゃLv.14はバウンドするししかもそれは許し難い ; $hypothesis$ = そのみなみにゃLv.14は許し難い ; $proof$ = 
fact3 -> int1: あのみなみなLv.60は想像し易い; int1 & fact1 -> int2: あのみなみなLv.60は想像し易いし更に捕まえ易い; int2 & fact2 -> int3: あのみなみなLv.60は許し難くない; int3 & fact5 -> int4: そのみなみにゃLv.14はバウンドするしそれにそれは許し難い; int4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{a}; int3 & fact5 -> int4: ({E}{b} & {D}{b}); int4 -> hypothesis; __PROVED__