そのみねみやLv.24は取っ付き易い
fact1: 全てのモンスターは蹴っ飛ばすし読み語る fact2: 「そのみねみやLv.24は取っ付き易くないしおまけに比較し難くない」ということは嘘だとしたらそのみねみやLv.24は早しない
void -> assump1: 以下のように仮定する。「「そのみねみやLv.24が取っ付き易いということはないしその上比較し難くない」ということは誤っている」ということは確かである; fact2 & assump1 -> int1: そのみねみやLv.24は早しない;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a};
そのもちゅもゆLv.17は比較し難くない
fact3 -> int2: そのみよみねLv.10は蹴っ飛ばすし加えて読み語る; int2 -> int3: そのみよみねLv.10は蹴っ飛ばす; int3 -> int4: 「蹴っ飛ばす」モンスターはいる;
$facts$ = fact1: 全てのモンスターは蹴っ飛ばすし読み語る fact2: 「そのみねみやLv.24は取っ付き易くないしおまけに比較し難くない」ということは嘘だとしたらそのみねみやLv.24は早しない ; $hypothesis$ = そのみねみやLv.24は取っ付き易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__