そのまにょまにゃLv.34はむっつりしない
fact1: もし「なにがしかのモンスターは真ん丸い」ということは事実であればそれはむっつりする fact2: もし仮に「受け辛い」モンスターはいれば「あのもやもにゅLv.18は忠実忠実しかない一方でそれは列席する」ということは誤っている fact3: 「とあるモンスターは受け辛い」ということは成り立つ fact4: もし仮に「あのもやもにゅLv.18は忠実忠実しかない一方で列席する」ということは嘘ならばそのまねまなLv.66は話し易い fact5: もしもそのまねまなLv.66が話し易いか真ん丸いかもしくは両方ならそのまにょまにゃLv.34はむっつりしない
fact2 & fact3 -> int1: 「あのもやもにゅLv.18は忠実忠実しかないけれど列席する」ということは間違いである; fact4 & int1 -> int2: そのまねまなLv.66は話し易い; int2 -> int3: そのまねまなLv.66は話し易いかまたは真ん丸いか両方である; int3 & fact5 -> hypothesis;
fact2 & fact3 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact4 & int1 -> int2: {B}{b}; int2 -> int3: ({B}{b} v {A}{b}); int3 & fact5 -> hypothesis;
「そのまにょまにゃLv.34はむっつりする」ということは成り立つ
fact6 -> int4: もし仮にそのまにょまにゃLv.34が真ん丸いならばそれはむっつりする;
$facts$ = fact1: もし「なにがしかのモンスターは真ん丸い」ということは事実であればそれはむっつりする fact2: もし仮に「受け辛い」モンスターはいれば「あのもやもにゅLv.18は忠実忠実しかない一方でそれは列席する」ということは誤っている fact3: 「とあるモンスターは受け辛い」ということは成り立つ fact4: もし仮に「あのもやもにゅLv.18は忠実忠実しかない一方で列席する」ということは嘘ならばそのまねまなLv.66は話し易い fact5: もしもそのまねまなLv.66が話し易いか真ん丸いかもしくは両方ならそのまにょまにゃLv.34はむっつりしない ; $hypothesis$ = そのまにょまにゃLv.34はむっつりしない ; $proof$ = 
fact2 & fact3 -> int1: 「あのもやもにゅLv.18は忠実忠実しかないけれど列席する」ということは間違いである; fact4 & int1 -> int2: そのまねまなLv.66は話し易い; int2 -> int3: そのまねまなLv.66は話し易いかまたは真ん丸いか両方である; int3 & fact5 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact4 & int1 -> int2: {B}{b}; int2 -> int3: ({B}{b} v {A}{b}); int3 & fact5 -> hypothesis; __PROVED__