「そのまにゅまよLv.34は移行し易くない」ということは本当だ
fact1: そのまにゅまよLv.34は御安い fact2: そのまにゅまよLv.34は使用出来る fact3: そのまにゅまよLv.34はシェークする fact4: 「このぴにぴちょLv.94は御安い」ということは事実だ fact5: 御安いモンスターは移行し易い fact6: 見境無いということはないモンスターは移行し易いということはないし御安くない fact7: 見付け易いモンスターは満遍無い
fact5 -> int1: もしもそのまにゅまよLv.34は御安いなら「移行し易い」ということは真実である; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> hypothesis;
「そのまにゅまよLv.34は移行し易くない」ということは本当だ
fact8 -> int2: もしも「そのまにゅまよLv.34は見境無いということはない」ということは真実だとするとそのまにゅまよLv.34は移行し易くないし加えて御安いということはない;
$facts$ = fact1: そのまにゅまよLv.34は御安い fact2: そのまにゅまよLv.34は使用出来る fact3: そのまにゅまよLv.34はシェークする fact4: 「このぴにぴちょLv.94は御安い」ということは事実だ fact5: 御安いモンスターは移行し易い fact6: 見境無いということはないモンスターは移行し易いということはないし御安くない fact7: 見付け易いモンスターは満遍無い ; $hypothesis$ = 「そのまにゅまよLv.34は移行し易くない」ということは本当だ ; $proof$ = 
fact5 -> int1: もしもそのまにゅまよLv.34は御安いなら「移行し易い」ということは真実である; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> hypothesis; __DISPROVED__