there exists something such that if it is a kind of a laxative then it does not ventilate braided.
sent1: the umbilical is a sieve if there exists something such that either it autopsies or it is not a kind of a gyro or both. sent2: the radiographer is a cowpie if it bands home-farm. sent3: the umbilical is a laxative if it is cretaceous and it ventilates braided. sent4: that something is not normal and it is not a hayfield is not correct if the fact that it is a kind of a Phlebotomus hold. sent5: there exists something such that if it is a laxative it ventilates braided. sent6: if the umbilical is a kind of cretaceous thing that does ventilate braided then that it is non-laxative hold. sent7: something ventilates braided if it is gestational. sent8: something is a laxative if it is a cowpie. sent9: if something autopsies then the umbilical is a kind of a sieve. sent10: if the fact that the radiographer is not normal and is not a hayfield is not correct it is normal. sent11: there exists something such that if it does ventilate braided it is a kind of a sieve. sent12: the radiographer is a kind of a Phlebotomus. sent13: if the umbilical is laxative then it ventilates braided. sent14: if something is a sieve it is a gyro. sent15: either the propellant is an autopsy or it is not a gyro or both. sent16: if the radiographer is normal the fact that it does band home-farm is not incorrect. sent17: something does autopsy and/or it is a gyro.
sent15 -> int1: something is an autopsy or not a gyro or both.; int1 & sent1 -> int2: the umbilical does sieve.; void -> assump2: Let's assume that the umbilical does ventilate braided.;
the radiographer is a kind of a gyro.
sent14 -> int3: if the radiographer sieves it is a gyro.; sent8 -> int4: if the radiographer is a cowpie it is laxative.; sent4 -> int5: the fact that the radiographer is not normal and it is not a hayfield is not correct if it is a kind of a Phlebotomus.; int5 & sent12 -> int6: the fact that the radiographer is not normal and it is not a kind of a hayfield is not right.; sent10 & int6 -> int7: the radiographer is normal.; sent16 & int7 -> int8: the radiographer bands home-farm.; sent2 & int8 -> int9: the radiographer is a cowpie.; int4 & int9 -> int10: that the radiographer is a laxative is correct.;
$hypothesis$ = there exists something such that if it is a kind of a laxative then it does not ventilate braided. ; $context$ = sent1: the umbilical is a sieve if there exists something such that either it autopsies or it is not a kind of a gyro or both. sent2: the radiographer is a cowpie if it bands home-farm. sent3: the umbilical is a laxative if it is cretaceous and it ventilates braided. sent4: that something is not normal and it is not a hayfield is not correct if the fact that it is a kind of a Phlebotomus hold. sent5: there exists something such that if it is a laxative it ventilates braided. sent6: if the umbilical is a kind of cretaceous thing that does ventilate braided then that it is non-laxative hold. sent7: something ventilates braided if it is gestational. sent8: something is a laxative if it is a cowpie. sent9: if something autopsies then the umbilical is a kind of a sieve. sent10: if the fact that the radiographer is not normal and is not a hayfield is not correct it is normal. sent11: there exists something such that if it does ventilate braided it is a kind of a sieve. sent12: the radiographer is a kind of a Phlebotomus. sent13: if the umbilical is laxative then it ventilates braided. sent14: if something is a sieve it is a gyro. sent15: either the propellant is an autopsy or it is not a gyro or both. sent16: if the radiographer is normal the fact that it does band home-farm is not incorrect. sent17: something does autopsy and/or it is a gyro. ; $proof$ = 
sent15 -> int1: something is an autopsy or not a gyro or both.; int1 & sent1 -> int2: the umbilical does sieve.; void -> assump2: Let's assume that the umbilical does ventilate braided.; __UNKNOWN__