このまにょまねLv.20は男らしくない
fact1: 仮に「自失する」モンスターがいればそのぷよぷゆLv.87は平べったくないし更に偏り易くない fact2: 「このまにょまねLv.20は平べったい」ということは確かだ fact3: 「このまにょまねLv.20は男らしくない一方で隙間無い」ということは偽であるとすればそれは平べったくない fact4: このぽにゅぽにょLv.56が読影するとすればあのまなまやLv.1は自失する fact5: もしもこのぽにゅぽにょLv.56が熱いとするとそれは読影する fact6: このぽにゅぽにょLv.56は父親らしいしそれに熱い
void -> assump1: 以下のように仮定する。「このまにょまねLv.20は男らしくないがしかしそれは隙間無い」ということは間違いである; fact3 & assump1 -> int1: このまにょまねLv.20は平べったいということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまにょまねLv.20は男らしくないけれど隙間無い; int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact3 & assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} & {AB}{a}); int3 -> hypothesis;
このまにょまねLv.20は男らしい
fact8 -> int4: 「このぽにゅぽにょLv.56は熱い」ということは事実だ; fact10 & int4 -> int5: このぽにゅぽにょLv.56は読影する; fact9 & int5 -> int6: あのまなまやLv.1は自失する; int6 -> int7: 何らかのモンスターは自失する; int7 & fact7 -> int8: そのぷよぷゆLv.87は平べったくなくてその上偏り易いということはない; int8 -> int9: そのぷよぷゆLv.87は平べったくない; int9 -> int10: 「平べったくない」モンスターはいる;
$facts$ = fact1: 仮に「自失する」モンスターがいればそのぷよぷゆLv.87は平べったくないし更に偏り易くない fact2: 「このまにょまねLv.20は平べったい」ということは確かだ fact3: 「このまにょまねLv.20は男らしくない一方で隙間無い」ということは偽であるとすればそれは平べったくない fact4: このぽにゅぽにょLv.56が読影するとすればあのまなまやLv.1は自失する fact5: もしもこのぽにゅぽにょLv.56が熱いとするとそれは読影する fact6: このぽにゅぽにょLv.56は父親らしいしそれに熱い ; $hypothesis$ = このまにょまねLv.20は男らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このまにょまねLv.20は男らしくないがしかしそれは隙間無い」ということは間違いである; fact3 & assump1 -> int1: このまにょまねLv.20は平べったいということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまにょまねLv.20は男らしくないけれど隙間無い; int3 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact3 & assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} & {AB}{a}); int3 -> hypothesis; __PROVED__