the entrance is not a kohleria.
sent1: the importer is arenicolous. sent2: the botulin does sparkle. sent3: the botulin does not play fueled and is a intercostal. sent4: the fact that something is not a intercostal and does not play fueled is not true if it is not arenicolous. sent5: the fact that something plays fueled is not wrong if it is arenicolous. sent6: the botulin abounds. sent7: that the importer abounds is right if the corporation fawns. sent8: if the corporation plays fueled then the botulin is a kind of a sparkle. sent9: the botulin is a kind of a fawn. sent10: the entrance is a kohleria if the importer abounds. sent11: if something abounds that it does fawn is not incorrect. sent12: the botulin is a kind of a intercostal. sent13: the corporation is arenicolous if that the botulin does not play fueled hold. sent14: something does sparkle if it is arenicolous. sent15: the entrance is a kind of a sparkle. sent16: if the entrance is arenicolous the corporation is a kohleria. sent17: something is a kind of a fawn if it is a sparkle. sent18: the entrance is a intercostal.
sent3 -> int1: the botulin does not play fueled.; int1 & sent13 -> int2: the corporation is arenicolous.; sent14 -> int3: the fact that the corporation does sparkle is true if it is arenicolous.; int2 & int3 -> int4: the corporation is a sparkle.; sent17 -> int5: if the corporation does sparkle then it is a kind of a fawn.; int4 & int5 -> int6: the corporation does fawn.; int6 & sent7 -> int7: the importer does abound.; int7 & sent10 -> hypothesis;
the entrance is not a kohleria.
sent4 -> int8: that the botulin is not a intercostal and it does not play fueled does not hold if it is non-arenicolous.;
$hypothesis$ = the entrance is not a kohleria. ; $context$ = sent1: the importer is arenicolous. sent2: the botulin does sparkle. sent3: the botulin does not play fueled and is a intercostal. sent4: the fact that something is not a intercostal and does not play fueled is not true if it is not arenicolous. sent5: the fact that something plays fueled is not wrong if it is arenicolous. sent6: the botulin abounds. sent7: that the importer abounds is right if the corporation fawns. sent8: if the corporation plays fueled then the botulin is a kind of a sparkle. sent9: the botulin is a kind of a fawn. sent10: the entrance is a kohleria if the importer abounds. sent11: if something abounds that it does fawn is not incorrect. sent12: the botulin is a kind of a intercostal. sent13: the corporation is arenicolous if that the botulin does not play fueled hold. sent14: something does sparkle if it is arenicolous. sent15: the entrance is a kind of a sparkle. sent16: if the entrance is arenicolous the corporation is a kohleria. sent17: something is a kind of a fawn if it is a sparkle. sent18: the entrance is a intercostal. ; $proof$ = 
sent3 -> int1: the botulin does not play fueled.; int1 & sent13 -> int2: the corporation is arenicolous.; sent14 -> int3: the fact that the corporation does sparkle is true if it is arenicolous.; int2 & int3 -> int4: the corporation is a sparkle.; sent17 -> int5: if the corporation does sparkle then it is a kind of a fawn.; int4 & int5 -> int6: the corporation does fawn.; int6 & sent7 -> int7: the importer does abound.; int7 & sent10 -> hypothesis; __DISPROVED__