the closer is a viticulture and bars imaging.
sent1: the steenbok is a kind of a rite that is a semaphore. sent2: if there is something such that it is not a rite and it is a kind of a Protestant the acaricide does not gather trioxide. sent3: the fact that the closer is a viticulture and it bars imaging does not hold if the steenbok is not a Menticirrhus. sent4: the knotgrass does not semaphore if the Pygmy does sicken Goa and suborns onomancer. sent5: The imaging does bar closer. sent6: the closer is not a kind of a Protestant if the steenbok gathers trioxide and is a rite. sent7: the steenbok is a Menticirrhus. sent8: the Pygmy suborns onomancer and it is unreliable if it is not a kind of a mandarin. sent9: the closer is a kind of a ready-made. sent10: the half-caste is not a Menticirrhus if there exists something such that the fact that it is a kind of a Protestant and it does gather trioxide is wrong. sent11: if the steenbok is a kind of a Menticirrhus it does gather trioxide. sent12: something that does not semaphore is not non-ready-made. sent13: that something is a Protestant and it gathers trioxide is not true if it is not a kind of a ready-made. sent14: the felt is not a rite but Protestant if there exists something such that it is a kind of a ready-made. sent15: the closer is a viticulture if it is not Protestant and it is a kind of a ready-made. sent16: the Pygmy is not a kind of a mandarin. sent17: everything does sicken Goa.
sent11 & sent7 -> int1: the steenbok gathers trioxide.; sent1 -> int2: the steenbok is a rite.; int1 & int2 -> int3: the steenbok gathers trioxide and it is a kind of a rite.; int3 & sent6 -> int4: the closer is not Protestant.; int4 & sent9 -> int5: the closer is not a kind of a Protestant but it is a ready-made.; int5 & sent15 -> int6: the closer is a kind of a viticulture.;
the half-caste sickens heroics and it is a kind of a rite.
sent13 -> int7: if the closer is not ready-made then that it is Protestant and it does gather trioxide is not right.;
$hypothesis$ = the closer is a viticulture and bars imaging. ; $context$ = sent1: the steenbok is a kind of a rite that is a semaphore. sent2: if there is something such that it is not a rite and it is a kind of a Protestant the acaricide does not gather trioxide. sent3: the fact that the closer is a viticulture and it bars imaging does not hold if the steenbok is not a Menticirrhus. sent4: the knotgrass does not semaphore if the Pygmy does sicken Goa and suborns onomancer. sent5: The imaging does bar closer. sent6: the closer is not a kind of a Protestant if the steenbok gathers trioxide and is a rite. sent7: the steenbok is a Menticirrhus. sent8: the Pygmy suborns onomancer and it is unreliable if it is not a kind of a mandarin. sent9: the closer is a kind of a ready-made. sent10: the half-caste is not a Menticirrhus if there exists something such that the fact that it is a kind of a Protestant and it does gather trioxide is wrong. sent11: if the steenbok is a kind of a Menticirrhus it does gather trioxide. sent12: something that does not semaphore is not non-ready-made. sent13: that something is a Protestant and it gathers trioxide is not true if it is not a kind of a ready-made. sent14: the felt is not a rite but Protestant if there exists something such that it is a kind of a ready-made. sent15: the closer is a viticulture if it is not Protestant and it is a kind of a ready-made. sent16: the Pygmy is not a kind of a mandarin. sent17: everything does sicken Goa. ; $proof$ = 
sent11 & sent7 -> int1: the steenbok gathers trioxide.; sent1 -> int2: the steenbok is a rite.; int1 & int2 -> int3: the steenbok gathers trioxide and it is a kind of a rite.; int3 & sent6 -> int4: the closer is not Protestant.; int4 & sent9 -> int5: the closer is not a kind of a Protestant but it is a ready-made.; int5 & sent15 -> int6: the closer is a kind of a viticulture.; __UNKNOWN__