あのもねもわLv.9は可笑しない
fact1: 仮にこのみにゅみにゅLv.82が溶かし出すとすればあのもねもわLv.9は可笑し fact2: あのもくもちゅLv.78は下げる fact3: あのぽいぽにLv.70は下げるかあるいは冷め難い fact4: あのぽいぽにLv.70が冷め難いならばこのみにゅみにゅLv.82は溶かし出す fact5: もしあのぽいぽにLv.70が下げればこのみにゅみにゅLv.82は溶かし出す fact6: しつっこいモンスターは下げない fact7: もし仮にあのぽいぽにLv.70が下げないけど可笑しならばあのもねもわLv.9は可笑しない fact8: このまのまのLv.82は可笑し fact9: 「あのもねもわLv.9は冷め難い」ということは本当ならあのぽいぽにLv.70は可笑し
fact3 & fact5 & fact4 -> int1: このみにゅみにゅLv.82は溶かし出す; int1 & fact1 -> hypothesis;
fact3 & fact5 & fact4 -> int1: {C}{c}; int1 & fact1 -> hypothesis;
あのもねもわLv.9は可笑しない
fact10 -> int2: 仮に「あのぽいぽにLv.70はしつっこい」ということは事実であるなら下げない;
$facts$ = fact1: 仮にこのみにゅみにゅLv.82が溶かし出すとすればあのもねもわLv.9は可笑し fact2: あのもくもちゅLv.78は下げる fact3: あのぽいぽにLv.70は下げるかあるいは冷め難い fact4: あのぽいぽにLv.70が冷め難いならばこのみにゅみにゅLv.82は溶かし出す fact5: もしあのぽいぽにLv.70が下げればこのみにゅみにゅLv.82は溶かし出す fact6: しつっこいモンスターは下げない fact7: もし仮にあのぽいぽにLv.70が下げないけど可笑しならばあのもねもわLv.9は可笑しない fact8: このまのまのLv.82は可笑し fact9: 「あのもねもわLv.9は冷め難い」ということは本当ならあのぽいぽにLv.70は可笑し ; $hypothesis$ = あのもねもわLv.9は可笑しない ; $proof$ = 
fact3 & fact5 & fact4 -> int1: このみにゅみにゅLv.82は溶かし出す; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact5 & fact4 -> int1: {C}{c}; int1 & fact1 -> hypothesis; __DISPROVED__