「あのみよみえLv.70は結び付き易いか寝苦しい」ということは本当だということはない
fact1: あのみよみえLv.70は熱中する fact2: このもにょもちゅLv.92は結び付き易い fact3: あのみよみえLv.70は結び付き易い fact4: あのみよみえLv.70は輝かしか新しかまたはどちらもである
fact3 -> int1: あのみよみえLv.70は結び付き易い; int1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> hypothesis;
$facts$ = fact1: あのみよみえLv.70は熱中する fact2: このもにょもちゅLv.92は結び付き易い fact3: あのみよみえLv.70は結び付き易い fact4: あのみよみえLv.70は輝かしか新しかまたはどちらもである ; $hypothesis$ = 「あのみよみえLv.70は結び付き易いか寝苦しい」ということは本当だということはない ; $proof$ = 
fact3 -> int1: あのみよみえLv.70は結び付き易い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__