「あのまよまにょLv.32は弾き始めるしさらに掻き易い」ということは本当であるということはない
fact1: あのまよまにょLv.32は掻き易い fact2: もしあのまよまにょLv.32が弾き始めないとしたらあのまよまにょLv.32は御濃い fact3: 合い難いかまたは取っ付き難くないモンスターは弾き始める fact4: あのまよまにょLv.32は合い難いかまたは取っ付き難くない fact5: そのみちゅみいLv.82は取っ付き難い fact6: もし仮に「そのもにもねLv.80は掻き易いかもしくは進み易くない」ということは正しいとしたらそれは発揮し難い
fact3 -> int1: あのまよまにょLv.32が合い難いかあるいは取っ付き難くないかまたは両方だとするとあのまよまにょLv.32は弾き始める; int1 & fact4 -> int2: あのまよまにょLv.32は弾き始める; int2 & fact1 -> hypothesis;
fact3 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのまよまにょLv.32は掻き易い fact2: もしあのまよまにょLv.32が弾き始めないとしたらあのまよまにょLv.32は御濃い fact3: 合い難いかまたは取っ付き難くないモンスターは弾き始める fact4: あのまよまにょLv.32は合い難いかまたは取っ付き難くない fact5: そのみちゅみいLv.82は取っ付き難い fact6: もし仮に「そのもにもねLv.80は掻き易いかもしくは進み易くない」ということは正しいとしたらそれは発揮し難い ; $hypothesis$ = 「あのまよまにょLv.32は弾き始めるしさらに掻き易い」ということは本当であるということはない ; $proof$ = 
fact3 -> int1: あのまよまにょLv.32が合い難いかあるいは取っ付き難くないかまたは両方だとするとあのまよまにょLv.32は弾き始める; int1 & fact4 -> int2: あのまよまにょLv.32は弾き始める; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact1 -> hypothesis; __DISPROVED__