the lab does not sight podetium.
sent1: if the bloodroot does not sight soursop or it does not correct or both then it does not correct. sent2: the lab is a kind of a north if the optometrist does not shaft. sent3: the wobbler is not discomycetous if the fact that it is a Triostium and it is a catenary does not hold. sent4: the fact that the gitana grooves infructescence is correct. sent5: The fact that the infructescence grooves gitana is correct. sent6: the wobbler does eavesdrop and is a Triostium. sent7: if something eavesdrops and grooves infructescence then the bloodroot is discomycetous. sent8: that the optometrist is not a Triostium and does not shaft is true if the fact that the wobbler is not a kind of a catenary is correct. sent9: the optometrist does not correct. sent10: if the lab is not a Triostium but it shafts then the bloodroot is not a shafts. sent11: if the fact that the wobbler does eavesdrop and is a kind of a catenary does not hold then it is not correct. sent12: the optometrist is not a kind of a Triostium if the lab does shaft and does sight podetium. sent13: the bloodroot does not sight soursop and/or is not correct. sent14: something is a tonometry and it is a north if it is not a shaft. sent15: the gitana does eavesdrop. sent16: the optometrist sights podetium if it is a catenary. sent17: the lab is not a kind of a north and/or it is not a catenary. sent18: that the wobbler is a Triostium and is a kind of a catenary does not hold if the optometrist is not a Triostium. sent19: the bloodroot fattens and is a kind of a catenary. sent20: that the lab is a kind of a north and shafts is correct.
sent20 -> int1: the lab is a shaft.; void -> assump1: Let's assume that the lab does sight podetium.; int1 & assump1 -> int2: the lab is a kind of a shaft and it does sight podetium.; int2 & sent12 -> int3: that the optometrist is not a Triostium is not false.; int3 & sent18 -> int4: that the wobbler is a Triostium and it is a catenary does not hold.; int4 & sent3 -> int5: the wobbler is not discomycetous.; sent15 & sent4 -> int6: that the gitana does eavesdrop and grooves infructescence hold.; int6 -> int7: that there is something such that it does eavesdrop and it grooves infructescence is not false.; int7 & sent7 -> int8: the bloodroot is discomycetous.; sent1 & sent13 -> int9: the bloodroot does not correct.; int8 & int9 -> int10: the bloodroot is discomycetous thing that is not correct.;
the lab does sight podetium.
$hypothesis$ = the lab does not sight podetium. ; $context$ = sent1: if the bloodroot does not sight soursop or it does not correct or both then it does not correct. sent2: the lab is a kind of a north if the optometrist does not shaft. sent3: the wobbler is not discomycetous if the fact that it is a Triostium and it is a catenary does not hold. sent4: the fact that the gitana grooves infructescence is correct. sent5: The fact that the infructescence grooves gitana is correct. sent6: the wobbler does eavesdrop and is a Triostium. sent7: if something eavesdrops and grooves infructescence then the bloodroot is discomycetous. sent8: that the optometrist is not a Triostium and does not shaft is true if the fact that the wobbler is not a kind of a catenary is correct. sent9: the optometrist does not correct. sent10: if the lab is not a Triostium but it shafts then the bloodroot is not a shafts. sent11: if the fact that the wobbler does eavesdrop and is a kind of a catenary does not hold then it is not correct. sent12: the optometrist is not a kind of a Triostium if the lab does shaft and does sight podetium. sent13: the bloodroot does not sight soursop and/or is not correct. sent14: something is a tonometry and it is a north if it is not a shaft. sent15: the gitana does eavesdrop. sent16: the optometrist sights podetium if it is a catenary. sent17: the lab is not a kind of a north and/or it is not a catenary. sent18: that the wobbler is a Triostium and is a kind of a catenary does not hold if the optometrist is not a Triostium. sent19: the bloodroot fattens and is a kind of a catenary. sent20: that the lab is a kind of a north and shafts is correct. ; $proof$ = 
sent20 -> int1: the lab is a shaft.; void -> assump1: Let's assume that the lab does sight podetium.; int1 & assump1 -> int2: the lab is a kind of a shaft and it does sight podetium.; int2 & sent12 -> int3: that the optometrist is not a Triostium is not false.; int3 & sent18 -> int4: that the wobbler is a Triostium and it is a catenary does not hold.; int4 & sent3 -> int5: the wobbler is not discomycetous.; sent15 & sent4 -> int6: that the gitana does eavesdrop and grooves infructescence hold.; int6 -> int7: that there is something such that it does eavesdrop and it grooves infructescence is not false.; int7 & sent7 -> int8: the bloodroot is discomycetous.; sent1 & sent13 -> int9: the bloodroot does not correct.; int8 & int9 -> int10: the bloodroot is discomycetous thing that is not correct.; __UNKNOWN__