「このみちゅみえLv.36は艶出しするかもしくはそれは忌ま忌ましいかもしくは両方ともだ」ということは偽である
fact1: もし仮にこのみくみちゃLv.7が来談しないとしたらこのまにゃまえLv.16は来談しなくてさらにそれは目覚ましいということはない fact2: あのもにゃものLv.81が矛盾するしさらにそれがむくつけしならこのみくみちゃLv.7は来談しない fact3: もしこのまにゃまえLv.16が来談する一方で目覚ましくないとするとこのみちゅみえLv.36は忌ま忌ましい fact4: あのもにゃものLv.81は矛盾する fact5: なんらかのモンスターは目覚ましくない fact6: 仮にこのまにゃまえLv.16が来談するということはない一方で目覚ましいならばこのみちゅみえLv.36は忌ま忌ましい fact7: このまにゃまえLv.16が来談するということはないしその上目覚ましくないとするとこのみちゅみえLv.36は忌ま忌ましい fact8: あのもにゃものLv.81はむくつけし
fact4 & fact8 -> int1: あのもにゃものLv.81は矛盾するしおまけにそれはむくつけし; int1 & fact2 -> int2: このみくみちゃLv.7は来談しない; int2 & fact1 -> int3: このまにゃまえLv.16は来談しないしさらに目覚ましくない; int3 & fact7 -> int4: このみちゅみえLv.36は忌ま忌ましい; int4 -> hypothesis;
fact4 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact1 -> int3: (¬{C}{c} & ¬{E}{c}); int3 & fact7 -> int4: {D}{d}; int4 -> hypothesis;
このみくみちゃLv.7は矛盾する
$facts$ = fact1: もし仮にこのみくみちゃLv.7が来談しないとしたらこのまにゃまえLv.16は来談しなくてさらにそれは目覚ましいということはない fact2: あのもにゃものLv.81が矛盾するしさらにそれがむくつけしならこのみくみちゃLv.7は来談しない fact3: もしこのまにゃまえLv.16が来談する一方で目覚ましくないとするとこのみちゅみえLv.36は忌ま忌ましい fact4: あのもにゃものLv.81は矛盾する fact5: なんらかのモンスターは目覚ましくない fact6: 仮にこのまにゃまえLv.16が来談するということはない一方で目覚ましいならばこのみちゅみえLv.36は忌ま忌ましい fact7: このまにゃまえLv.16が来談するということはないしその上目覚ましくないとするとこのみちゅみえLv.36は忌ま忌ましい fact8: あのもにゃものLv.81はむくつけし ; $hypothesis$ = 「このみちゅみえLv.36は艶出しするかもしくはそれは忌ま忌ましいかもしくは両方ともだ」ということは偽である ; $proof$ = 
fact4 & fact8 -> int1: あのもにゃものLv.81は矛盾するしおまけにそれはむくつけし; int1 & fact2 -> int2: このみくみちゃLv.7は来談しない; int2 & fact1 -> int3: このまにゃまえLv.16は来談しないしさらに目覚ましくない; int3 & fact7 -> int4: このみちゅみえLv.36は忌ま忌ましい; int4 -> hypothesis; __DISPROVED__
fact4 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact1 -> int3: (¬{C}{c} & ¬{E}{c}); int3 & fact7 -> int4: {D}{d}; int4 -> hypothesis; __DISPROVED__