そのもゆもくLv.11は痛い
fact1: もしもあのもちゃもわLv.81が物凄まじくないとしたらあのもちゃもわLv.81は立て易くなくておまけに心深くない fact2: 「「そのもゆもくLv.11は得易くないしまたそれは目覚ましくない」ということは成り立つということはない」ということは事実である fact3: 「「そのもゆもくLv.11は咳かないししかも煩くない」ということは間違っていない」ということは事実と異なる fact4: 「あのみちょみにゅLv.16は痛くなくてしかも久しくない」ということは成り立たない fact5: もし「とあるモンスターは咳くということはないし煩くない」ということは成り立たないならそれは痛くない
fact5 -> int1: もし「そのもゆもくLv.11は咳かなくておまけに煩くない」ということは誤りならば「それは痛くない」ということは成り立つ; int1 & fact3 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact3 -> hypothesis;
そのもゆもくLv.11は痛い
$facts$ = fact1: もしもあのもちゃもわLv.81が物凄まじくないとしたらあのもちゃもわLv.81は立て易くなくておまけに心深くない fact2: 「「そのもゆもくLv.11は得易くないしまたそれは目覚ましくない」ということは成り立つということはない」ということは事実である fact3: 「「そのもゆもくLv.11は咳かないししかも煩くない」ということは間違っていない」ということは事実と異なる fact4: 「あのみちょみにゅLv.16は痛くなくてしかも久しくない」ということは成り立たない fact5: もし「とあるモンスターは咳くということはないし煩くない」ということは成り立たないならそれは痛くない ; $hypothesis$ = そのもゆもくLv.11は痛い ; $proof$ = 
fact5 -> int1: もし「そのもゆもくLv.11は咳かなくておまけに煩くない」ということは誤りならば「それは痛くない」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact3 -> hypothesis; __DISPROVED__