「あのもくもちゃLv.78は抜き難くて賢し」ということは本当でない
fact1: 仮に見分け難くないモンスターが行き易くないとしたらそれは抜き難い fact2: あのもくもちゃLv.78は賢し fact3: もし仮にこのまにまねLv.49が夫婦らしくないとしたらこのまにまねLv.49は避け難いしさらに抜き難い fact4: あのもくもちゃLv.78は見分け難くないしおまけに行き易くない fact5: このまにまねLv.49は夫婦らしくない
fact1 -> int1: あのもくもちゃLv.78が見分け難くないし行き易くないならば抜き難い; int1 & fact4 -> int2: 「あのもくもちゃLv.78は抜き難い」ということは誤りでない; int2 & fact2 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
このもにゅもちょLv.99は見分け難い
fact7 & fact6 -> int3: このまにまねLv.49は避け難いしさらに抜き難い; int3 -> int4: このまにまねLv.49は抜き難い;
$facts$ = fact1: 仮に見分け難くないモンスターが行き易くないとしたらそれは抜き難い fact2: あのもくもちゃLv.78は賢し fact3: もし仮にこのまにまねLv.49が夫婦らしくないとしたらこのまにまねLv.49は避け難いしさらに抜き難い fact4: あのもくもちゃLv.78は見分け難くないしおまけに行き易くない fact5: このまにまねLv.49は夫婦らしくない ; $hypothesis$ = 「あのもくもちゃLv.78は抜き難くて賢し」ということは本当でない ; $proof$ = 
fact1 -> int1: あのもくもちゃLv.78が見分け難くないし行き易くないならば抜き難い; int1 & fact4 -> int2: 「あのもくもちゃLv.78は抜き難い」ということは誤りでない; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact2 -> hypothesis; __DISPROVED__