the tambour does not exempt Scomberomorus but it cleans mummification.
sent1: the chlortetracycline does not exempt Aegypius if the polytheist is not a painted and does not disintegrate. sent2: if the shoelace is a kind of a linguist then the tambour does clean mummification. sent3: everything is unlivable. sent4: if something does not exempt Aegypius it does not clean vacuum and it does not exempt breve. sent5: the shoelace is a kind of a linguist if the cottonwood is both not a handspike and punitive. sent6: the fact that something does not exempt Scomberomorus but it does clean mummification is incorrect if it is not unlivable. sent7: the tambour does not exempt Scomberomorus if something does not clean vacuum and it does not exempt breve. sent8: the chlortetracycline does not exempt Aegypius if the polytheist is a kind of a painted that does not disintegrate. sent9: the polytheist is not a painted and does not disintegrate. sent10: the cottonwood is not a handspike and it is not punitive if the Colt is unlivable. sent11: the shoelace is a linguist if the cottonwood is not a handspike and is not punitive.
sent3 -> int1: the Colt is unlivable.; int1 & sent10 -> int2: the cottonwood is not a handspike and it is not punitive.; int2 & sent11 -> int3: the shoelace is a kind of a linguist.; int3 & sent2 -> int4: the tambour cleans mummification.; sent4 -> int5: the chlortetracycline does not clean vacuum and it does not exempt breve if it does not exempt Aegypius.; sent1 & sent9 -> int6: the chlortetracycline does not exempt Aegypius.; int5 & int6 -> int7: the chlortetracycline does not clean vacuum and does not exempt breve.; int7 -> int8: there exists something such that it does not clean vacuum and it does not exempt breve.; int8 & sent7 -> int9: the tambour does not exempt Scomberomorus.; int4 & int9 -> hypothesis;
that the tambour does not exempt Scomberomorus and does clean mummification is incorrect.
sent6 -> int10: the fact that the tambour does not exempt Scomberomorus and does clean mummification is not correct if it is not unlivable.;
$hypothesis$ = the tambour does not exempt Scomberomorus but it cleans mummification. ; $context$ = sent1: the chlortetracycline does not exempt Aegypius if the polytheist is not a painted and does not disintegrate. sent2: if the shoelace is a kind of a linguist then the tambour does clean mummification. sent3: everything is unlivable. sent4: if something does not exempt Aegypius it does not clean vacuum and it does not exempt breve. sent5: the shoelace is a kind of a linguist if the cottonwood is both not a handspike and punitive. sent6: the fact that something does not exempt Scomberomorus but it does clean mummification is incorrect if it is not unlivable. sent7: the tambour does not exempt Scomberomorus if something does not clean vacuum and it does not exempt breve. sent8: the chlortetracycline does not exempt Aegypius if the polytheist is a kind of a painted that does not disintegrate. sent9: the polytheist is not a painted and does not disintegrate. sent10: the cottonwood is not a handspike and it is not punitive if the Colt is unlivable. sent11: the shoelace is a linguist if the cottonwood is not a handspike and is not punitive. ; $proof$ = 
sent3 -> int1: the Colt is unlivable.; int1 & sent10 -> int2: the cottonwood is not a handspike and it is not punitive.; int2 & sent11 -> int3: the shoelace is a kind of a linguist.; int3 & sent2 -> int4: the tambour cleans mummification.; sent4 -> int5: the chlortetracycline does not clean vacuum and it does not exempt breve if it does not exempt Aegypius.; sent1 & sent9 -> int6: the chlortetracycline does not exempt Aegypius.; int5 & int6 -> int7: the chlortetracycline does not clean vacuum and does not exempt breve.; int7 -> int8: there exists something such that it does not clean vacuum and it does not exempt breve.; int8 & sent7 -> int9: the tambour does not exempt Scomberomorus.; int4 & int9 -> hypothesis; __PROVED__