the nitrate tools porkholt and it resuscitates.
sent1: the fact that something is a dairyman and it is a kind of a fibrillation is wrong if it is not a jackpot. sent2: the nitrate resuscitates and is detachable. sent3: the recruit is not a jackpot if that it is a kind of a pyocyanase and it is not a kind of an inferior is not right. sent4: if the recruit is inferior then the fact that it is not a jackpot is correct. sent5: that the recruit is a pyocyanase and not an inferior does not hold. sent6: something does tool porkholt if that it is not non-pilar is not wrong. sent7: if there is something such that that it is a kind of a dairyman and it is a fibrillation is incorrect that the nitrate is pilar is not wrong.
sent1 -> int1: if the recruit is not a jackpot the fact that it is a kind of a dairyman and is a kind of a fibrillation is incorrect.; sent3 & sent5 -> int2: the recruit is not a jackpot.; int1 & int2 -> int3: the fact that that the recruit is a dairyman and it is a kind of a fibrillation is not correct hold.; int3 -> int4: there is something such that the fact that it is a dairyman and it is a fibrillation is false.; int4 & sent7 -> int5: the nitrate is pilar.; sent6 -> int6: if the nitrate is pilar then it does tool porkholt.; int5 & int6 -> int7: the nitrate does tool porkholt.; sent2 -> int8: that the nitrate does resuscitate is not wrong.; int7 & int8 -> hypothesis;
$hypothesis$ = the nitrate tools porkholt and it resuscitates. ; $context$ = sent1: the fact that something is a dairyman and it is a kind of a fibrillation is wrong if it is not a jackpot. sent2: the nitrate resuscitates and is detachable. sent3: the recruit is not a jackpot if that it is a kind of a pyocyanase and it is not a kind of an inferior is not right. sent4: if the recruit is inferior then the fact that it is not a jackpot is correct. sent5: that the recruit is a pyocyanase and not an inferior does not hold. sent6: something does tool porkholt if that it is not non-pilar is not wrong. sent7: if there is something such that that it is a kind of a dairyman and it is a fibrillation is incorrect that the nitrate is pilar is not wrong. ; $proof$ = 
sent1 -> int1: if the recruit is not a jackpot the fact that it is a kind of a dairyman and is a kind of a fibrillation is incorrect.; sent3 & sent5 -> int2: the recruit is not a jackpot.; int1 & int2 -> int3: the fact that that the recruit is a dairyman and it is a kind of a fibrillation is not correct hold.; int3 -> int4: there is something such that the fact that it is a dairyman and it is a fibrillation is false.; int4 & sent7 -> int5: the nitrate is pilar.; sent6 -> int6: if the nitrate is pilar then it does tool porkholt.; int5 & int6 -> int7: the nitrate does tool porkholt.; sent2 -> int8: that the nitrate does resuscitate is not wrong.; int7 & int8 -> hypothesis; __PROVED__