the popcorn is a Tandy and it pipes housekeeper.
sent1: the popcorn is a Whistler if something is not a servicing and does pipe lamivudine. sent2: something does not service. sent3: if there is something such that it is a Whistler the nucleoside is both a havoc and a ratchet. sent4: if the skid is not a kind of a ratchet then it pipes langley. sent5: if the wife does not service it is a Whistler. sent6: something does service and pipes lamivudine. sent7: that something does not pipe langley but it pipes housekeeper is false if it is not a kind of a Tandy. sent8: The fact that the Tilden pipes ommatidium is wrong. sent9: the popcorn is a kind of a Tandy if the ommatidium is a Tandy. sent10: the skid is not a ratchet. sent11: the ommatidium does enter. sent12: the fact that the wife is a kind of a Whistler hold if there is something such that the fact that it does not pipe langley and it does pipe housekeeper is not true. sent13: something pipes Tilden if the fact that it does not pipes Tilden and it is not an attainder is not right. sent14: that something does not enter and it is not herbivorous is not correct if it pipes Tilden. sent15: that the skid does not pipe langley is not wrong if the wife does not pipe lamivudine. sent16: the fact that the wife does enter if the fact that the skid does not enter and it is not herbivorous does not hold is right. sent17: the fact that that the skid does not pipe Tilden and is not an attainder is not right is not false if the ommatidium is not Modern. sent18: the wife does pipe lamivudine. sent19: the fact that the popcorn pipes langley but it is not a kind of a ratchet is not correct if the wife enters. sent20: something is not a kind of a Whistler if the fact that it does pipe langley and is not a kind of a ratchet is wrong. sent21: there exists something such that it pipes lamivudine. sent22: the ommatidium enters if it does not pipe Tilden. sent23: the ommatidium is a Tandy and does enter if it does not pipe Tilden. sent24: that something is a kind of a Tandy and it pipes housekeeper is wrong if it is not a Whistler. sent25: if something is a Whistler then the fact that it does pipe housekeeper is right. sent26: the fact that the ommatidium pipes Tilden is wrong.
void -> assump1: Let's assume that that the wife is not a servicing and pipes lamivudine is not true.; sent4 & sent10 -> int1: the skid pipes langley.; sent25 -> int2: if the popcorn is a Whistler it pipes housekeeper.; sent23 & sent26 -> int3: the ommatidium is a kind of a Tandy that does enter.; int3 -> int4: the ommatidium is a Tandy.; sent9 & int4 -> int5: the popcorn is a Tandy.;
that the popcorn is a Tandy and pipes housekeeper is not correct.
sent24 -> int6: that the fact that the popcorn is a Tandy and does pipe housekeeper is not false does not hold if it is not a kind of a Whistler.; sent20 -> int7: if the fact that the popcorn does pipe langley and does not ratchet is not true it is not a Whistler.; sent14 -> int8: that the skid does not enter and is not herbivorous is not correct if it does pipe Tilden.; sent13 -> int9: the skid pipes Tilden if the fact that it does not pipes Tilden and it is not a kind of an attainder does not hold.;
$hypothesis$ = the popcorn is a Tandy and it pipes housekeeper. ; $context$ = sent1: the popcorn is a Whistler if something is not a servicing and does pipe lamivudine. sent2: something does not service. sent3: if there is something such that it is a Whistler the nucleoside is both a havoc and a ratchet. sent4: if the skid is not a kind of a ratchet then it pipes langley. sent5: if the wife does not service it is a Whistler. sent6: something does service and pipes lamivudine. sent7: that something does not pipe langley but it pipes housekeeper is false if it is not a kind of a Tandy. sent8: The fact that the Tilden pipes ommatidium is wrong. sent9: the popcorn is a kind of a Tandy if the ommatidium is a Tandy. sent10: the skid is not a ratchet. sent11: the ommatidium does enter. sent12: the fact that the wife is a kind of a Whistler hold if there is something such that the fact that it does not pipe langley and it does pipe housekeeper is not true. sent13: something pipes Tilden if the fact that it does not pipes Tilden and it is not an attainder is not right. sent14: that something does not enter and it is not herbivorous is not correct if it pipes Tilden. sent15: that the skid does not pipe langley is not wrong if the wife does not pipe lamivudine. sent16: the fact that the wife does enter if the fact that the skid does not enter and it is not herbivorous does not hold is right. sent17: the fact that that the skid does not pipe Tilden and is not an attainder is not right is not false if the ommatidium is not Modern. sent18: the wife does pipe lamivudine. sent19: the fact that the popcorn pipes langley but it is not a kind of a ratchet is not correct if the wife enters. sent20: something is not a kind of a Whistler if the fact that it does pipe langley and is not a kind of a ratchet is wrong. sent21: there exists something such that it pipes lamivudine. sent22: the ommatidium enters if it does not pipe Tilden. sent23: the ommatidium is a Tandy and does enter if it does not pipe Tilden. sent24: that something is a kind of a Tandy and it pipes housekeeper is wrong if it is not a Whistler. sent25: if something is a Whistler then the fact that it does pipe housekeeper is right. sent26: the fact that the ommatidium pipes Tilden is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the wife is not a servicing and pipes lamivudine is not true.; sent4 & sent10 -> int1: the skid pipes langley.; sent25 -> int2: if the popcorn is a Whistler it pipes housekeeper.; sent23 & sent26 -> int3: the ommatidium is a kind of a Tandy that does enter.; int3 -> int4: the ommatidium is a Tandy.; sent9 & int4 -> int5: the popcorn is a Tandy.; __UNKNOWN__