that the tonometer is impenetrable and it is millenarian is not right.
sent1: something is not a Pakistani if it does receive. sent2: the sherbert does brooch post-maturity and is systematic. sent3: if there is something such that it is systematic then the antihistamine is systematic or is a kind of a Pakistani or both. sent4: the caput receives if it is exterior. sent5: that the pig is impenetrable is true if the fact that the tonometer is impenetrable but it is not systematic is incorrect. sent6: the pig brooches post-maturity if the record-breaker does not brooches post-maturity. sent7: the caput is exterior. sent8: if the sherbert directs record-breaker the fact that it brooches Hellman hold. sent9: the jack-o'-lantern is systematic and osmotic. sent10: that if something does brooch Hellman then it is systematic is right. sent11: the pig is not nonmodern. sent12: the pig does not brooch Hellman if the tonometer does not brooch Hellman and does not direct record-breaker. sent13: if the pig brooches post-maturity and it is systematic the sherbert does not direct record-breaker. sent14: the fact that the record-breaker brooches post-maturity and does not diminish Chavez is incorrect. sent15: the pig receives if it is systematic. sent16: something is seasonable if it is systematic. sent17: the fact that the record-breaker does diminish Chavez and it is a Pakistani does not hold. sent18: if there exists something such that that it does not direct record-breaker is not incorrect the fact that the tonometer is a kind of impenetrable thing that is a kind of a millenarian is incorrect. sent19: the sherbert is impenetrable. sent20: the tonometer directs record-breaker and it is impenetrable. sent21: if the pig does not brooch Hellman the antihistamine is a millenarian and it receives. sent22: the pig brooches Hellman if the caput is not a kind of a Pakistani. sent23: there exists something such that it does direct record-breaker. sent24: if the fact that the record-breaker does brooch post-maturity and does not diminish Chavez is wrong the pig brooch post-maturity. sent25: if that the record-breaker is not impenetrable is not incorrect the tonometer does not brooch Hellman and does not direct record-breaker. sent26: there is something such that it does not brooch post-maturity. sent27: if the pig is a kind of millenarian thing that receives the record-breaker does not brooch post-maturity. sent28: the tonometer does not brooch post-maturity. sent29: the fact that the caput does receive and it brooches Hellman is incorrect.
sent1 -> int1: the caput is not a Pakistani if it does receive.; sent4 & sent7 -> int2: the caput receives.; int1 & int2 -> int3: the caput is not a Pakistani.; int3 & sent22 -> int4: the pig brooches Hellman.; sent10 -> int5: if the pig brooches Hellman then it is systematic.; int4 & int5 -> int6: the pig is not unsystematic.; sent24 & sent14 -> int7: the pig does brooch post-maturity.; int6 & int7 -> int8: the pig does brooch post-maturity and it is not unsystematic.; int8 & sent13 -> int9: the sherbert does not direct record-breaker.; int9 -> int10: the fact that there exists something such that it does not direct record-breaker is not false.; int10 & sent18 -> hypothesis;
the antihistamine is a millenarian and it is seasonable.
sent2 -> int11: the sherbert is systematic.; int11 -> int12: there is something such that it is systematic.; int12 & sent3 -> int13: the antihistamine is systematic or it is a Pakistani or both.; sent16 -> int14: that the antihistamine is seasonable if the antihistamine is systematic hold.;
$hypothesis$ = that the tonometer is impenetrable and it is millenarian is not right. ; $context$ = sent1: something is not a Pakistani if it does receive. sent2: the sherbert does brooch post-maturity and is systematic. sent3: if there is something such that it is systematic then the antihistamine is systematic or is a kind of a Pakistani or both. sent4: the caput receives if it is exterior. sent5: that the pig is impenetrable is true if the fact that the tonometer is impenetrable but it is not systematic is incorrect. sent6: the pig brooches post-maturity if the record-breaker does not brooches post-maturity. sent7: the caput is exterior. sent8: if the sherbert directs record-breaker the fact that it brooches Hellman hold. sent9: the jack-o'-lantern is systematic and osmotic. sent10: that if something does brooch Hellman then it is systematic is right. sent11: the pig is not nonmodern. sent12: the pig does not brooch Hellman if the tonometer does not brooch Hellman and does not direct record-breaker. sent13: if the pig brooches post-maturity and it is systematic the sherbert does not direct record-breaker. sent14: the fact that the record-breaker brooches post-maturity and does not diminish Chavez is incorrect. sent15: the pig receives if it is systematic. sent16: something is seasonable if it is systematic. sent17: the fact that the record-breaker does diminish Chavez and it is a Pakistani does not hold. sent18: if there exists something such that that it does not direct record-breaker is not incorrect the fact that the tonometer is a kind of impenetrable thing that is a kind of a millenarian is incorrect. sent19: the sherbert is impenetrable. sent20: the tonometer directs record-breaker and it is impenetrable. sent21: if the pig does not brooch Hellman the antihistamine is a millenarian and it receives. sent22: the pig brooches Hellman if the caput is not a kind of a Pakistani. sent23: there exists something such that it does direct record-breaker. sent24: if the fact that the record-breaker does brooch post-maturity and does not diminish Chavez is wrong the pig brooch post-maturity. sent25: if that the record-breaker is not impenetrable is not incorrect the tonometer does not brooch Hellman and does not direct record-breaker. sent26: there is something such that it does not brooch post-maturity. sent27: if the pig is a kind of millenarian thing that receives the record-breaker does not brooch post-maturity. sent28: the tonometer does not brooch post-maturity. sent29: the fact that the caput does receive and it brooches Hellman is incorrect. ; $proof$ = 
sent1 -> int1: the caput is not a Pakistani if it does receive.; sent4 & sent7 -> int2: the caput receives.; int1 & int2 -> int3: the caput is not a Pakistani.; int3 & sent22 -> int4: the pig brooches Hellman.; sent10 -> int5: if the pig brooches Hellman then it is systematic.; int4 & int5 -> int6: the pig is not unsystematic.; sent24 & sent14 -> int7: the pig does brooch post-maturity.; int6 & int7 -> int8: the pig does brooch post-maturity and it is not unsystematic.; int8 & sent13 -> int9: the sherbert does not direct record-breaker.; int9 -> int10: the fact that there exists something such that it does not direct record-breaker is not false.; int10 & sent18 -> hypothesis; __PROVED__