あのまにまいLv.29は見境無くない
fact1: あのまにまいLv.29が省略出来るとすればあのまにまいLv.29は見境無い fact2: このまやまのLv.64は見境無い fact3: あのまにまいLv.29は省略出来るししかも名高い fact4: もしもあのまにまいLv.29が心憎いとするとあのまにまいLv.29は名高い
fact3 -> int1: 「あのまにまいLv.29は省略出来る」ということは誤っていない; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あのまにまいLv.29が省略出来るとすればあのまにまいLv.29は見境無い fact2: このまやまのLv.64は見境無い fact3: あのまにまいLv.29は省略出来るししかも名高い fact4: もしもあのまにまいLv.29が心憎いとするとあのまにまいLv.29は名高い ; $hypothesis$ = あのまにまいLv.29は見境無くない ; $proof$ = 
fact3 -> int1: 「あのまにまいLv.29は省略出来る」ということは誤っていない; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__