「このもにゃもやLv.91はおっきいししかもそれは低い」ということは嘘だ
fact1: 仮にあのみのみにゃLv.87が憎々しいとするとあのぷわぷにゅLv.5は選択し易い fact2: 生活し易くないモンスターは納得し易くないし紳士らしくない fact3: 「あのみのみにゃLv.87は生活し易いが浅黒くない」ということは成り立たない fact4: 紳士らしいということはないモンスターは付き易いかあるいは選択し易いかもしくは両方ともだ fact5: 仮になにがしかのモンスターは憎々しくないとすれば「それはおっきくて低い」ということは間違っている fact6: 「あのみのみにゃLv.87は憎々しい」ということは真実である fact7: 「このもにゃもやLv.91は低い」ということは真実だ fact8: もしあのぷわぷにゅLv.5が選択し易いとすればこのもにゃもやLv.91はおっきい fact9: 仮に「何らかのモンスターは生活し易いけど浅黒くない」ということは誤りであるとするとそれは生活し易くない
fact1 & fact6 -> int1: あのぷわぷにゅLv.5は選択し易い; int1 & fact8 -> int2: このもにゃもやLv.91はおっきい; int2 & fact7 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 & fact8 -> int2: {C}{c}; int2 & fact7 -> hypothesis;
「このもにゃもやLv.91はおっきいししかもそれは低い」ということは嘘だ
fact12 -> int3: もし仮にこのもにゃもやLv.91は憎々しくないならば「おっきくておまけに低い」ということは成り立たない; fact13 -> int4: あのみのみにゃLv.87が紳士らしくないとすれば付き易いかまたは選択し易いかもしくはどちらもである; fact14 -> int5: もしもあのみのみにゃLv.87が生活し易くないならばあのみのみにゃLv.87は納得し易くないしかつそれは紳士らしくない; fact11 -> int6: 仮に「「あのみのみにゃLv.87は生活し易い一方で浅黒くない」ということは成り立つ」ということは成り立たないとすればあのみのみにゃLv.87は生活し易くない; int6 & fact10 -> int7: あのみのみにゃLv.87は生活し易くない; int5 & int7 -> int8: あのみのみにゃLv.87は納得し易くないし紳士らしくない; int8 -> int9: あのみのみにゃLv.87は紳士らしくない; int4 & int9 -> int10: あのみのみにゃLv.87は付き易いかもしくは選択し易い;
$facts$ = fact1: 仮にあのみのみにゃLv.87が憎々しいとするとあのぷわぷにゅLv.5は選択し易い fact2: 生活し易くないモンスターは納得し易くないし紳士らしくない fact3: 「あのみのみにゃLv.87は生活し易いが浅黒くない」ということは成り立たない fact4: 紳士らしいということはないモンスターは付き易いかあるいは選択し易いかもしくは両方ともだ fact5: 仮になにがしかのモンスターは憎々しくないとすれば「それはおっきくて低い」ということは間違っている fact6: 「あのみのみにゃLv.87は憎々しい」ということは真実である fact7: 「このもにゃもやLv.91は低い」ということは真実だ fact8: もしあのぷわぷにゅLv.5が選択し易いとすればこのもにゃもやLv.91はおっきい fact9: 仮に「何らかのモンスターは生活し易いけど浅黒くない」ということは誤りであるとするとそれは生活し易くない ; $hypothesis$ = 「このもにゃもやLv.91はおっきいししかもそれは低い」ということは嘘だ ; $proof$ = 
fact1 & fact6 -> int1: あのぷわぷにゅLv.5は選択し易い; int1 & fact8 -> int2: このもにゃもやLv.91はおっきい; int2 & fact7 -> hypothesis; __DISPROVED__
fact1 & fact6 -> int1: {B}{b}; int1 & fact8 -> int2: {C}{c}; int2 & fact7 -> hypothesis; __DISPROVED__