そのもにゃもちゅLv.31は汚らしい
fact1: 「そのまやまにLv.14は見辛い」ということは成り立つ fact2: もしもそのまやまにLv.14が切り易くないならばそのまやまにLv.14は真っ暗い fact3: もしもそのもちゅもねLv.17は汚らしいとすれば「あのまねまゆLv.92は真っ暗いがしかし甚だしない」ということは事実と異なる fact4: そのもちゅもねLv.17は甚だしということはない fact5: もし仮に「そのもちゅもねLv.17は甚だし」ということは成り立たないならばそのまやまにLv.14は切り易くなくて調和し難くない fact6: そのまやまにLv.14が真っ暗いしおまけに見辛いならばそのもにゃもちゅLv.31は汚らしくない
fact5 & fact4 -> int1: そのまやまにLv.14は切り易くなくて加えて調和し難くない; int1 -> int2: そのまやまにLv.14は切り易くない; int2 & fact2 -> int3: そのまやまにLv.14は真っ暗い; int3 & fact1 -> int4: そのまやまにLv.14は真っ暗いしその上見辛い; int4 & fact6 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 -> int2: ¬{AA}{b}; int2 & fact2 -> int3: {B}{b}; int3 & fact1 -> int4: ({B}{b} & {C}{b}); int4 & fact6 -> hypothesis;
あのまねまゆLv.92は見辛いということはない
$facts$ = fact1: 「そのまやまにLv.14は見辛い」ということは成り立つ fact2: もしもそのまやまにLv.14が切り易くないならばそのまやまにLv.14は真っ暗い fact3: もしもそのもちゅもねLv.17は汚らしいとすれば「あのまねまゆLv.92は真っ暗いがしかし甚だしない」ということは事実と異なる fact4: そのもちゅもねLv.17は甚だしということはない fact5: もし仮に「そのもちゅもねLv.17は甚だし」ということは成り立たないならばそのまやまにLv.14は切り易くなくて調和し難くない fact6: そのまやまにLv.14が真っ暗いしおまけに見辛いならばそのもにゃもちゅLv.31は汚らしくない ; $hypothesis$ = そのもにゃもちゅLv.31は汚らしい ; $proof$ = 
fact5 & fact4 -> int1: そのまやまにLv.14は切り易くなくて加えて調和し難くない; int1 -> int2: そのまやまにLv.14は切り易くない; int2 & fact2 -> int3: そのまやまにLv.14は真っ暗い; int3 & fact1 -> int4: そのまやまにLv.14は真っ暗いしその上見辛い; int4 & fact6 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 -> int2: ¬{AA}{b}; int2 & fact2 -> int3: {B}{b}; int3 & fact1 -> int4: ({B}{b} & {C}{b}); int4 & fact6 -> hypothesis; __DISPROVED__