そのもくもちょLv.81は溶けない
fact1: もしあのみちょみねLv.42が運び易いとするとそのもくもちょLv.81は溶ける fact2: 仮に何らかのモンスターが運び易くないならば疚しくない fact3: このもゆもわLv.94は疚しい fact4: もしも「何らかのモンスターは取り難くない」ということは正しいならば「それは運び易いしかつそれは御話し為さる」ということは間違っている fact5: 仮にこのもゆもわLv.94は疚しいとすれば「あのみちょみねLv.42は運び易い」ということは成り立つ fact6: そのまゆまわLv.26は溶ける fact7: もしあるモンスターが疚しくないならば溶けない fact8: このもゆもわLv.94は御寒い
fact5 & fact3 -> int1: 「あのみちょみねLv.42は運び易い」ということは成り立つ; int1 & fact1 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
そのもくもちょLv.81は溶けない
fact11 -> int2: 仮にそのもくもちょLv.81が疚しくないならばそのもくもちょLv.81は溶けない; fact9 -> int3: もし仮に「そのもくもちょLv.81は運び易くない」ということは嘘でないならばそのもくもちょLv.81は疚しくない; fact10 -> int4: もしこのもゆもわLv.94は取り難くないならば「このもゆもわLv.94は運び易くて御話し為さる」ということは本当でない;
$facts$ = fact1: もしあのみちょみねLv.42が運び易いとするとそのもくもちょLv.81は溶ける fact2: 仮に何らかのモンスターが運び易くないならば疚しくない fact3: このもゆもわLv.94は疚しい fact4: もしも「何らかのモンスターは取り難くない」ということは正しいならば「それは運び易いしかつそれは御話し為さる」ということは間違っている fact5: 仮にこのもゆもわLv.94は疚しいとすれば「あのみちょみねLv.42は運び易い」ということは成り立つ fact6: そのまゆまわLv.26は溶ける fact7: もしあるモンスターが疚しくないならば溶けない fact8: このもゆもわLv.94は御寒い ; $hypothesis$ = そのもくもちょLv.81は溶けない ; $proof$ = 
fact5 & fact3 -> int1: 「あのみちょみねLv.42は運び易い」ということは成り立つ; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __DISPROVED__