the butternut is a push.
sent1: there exists something such that it is both not a sop and not a sonar. sent2: if something does not whirl chorister and is moneyless then it does not push. sent3: if something is a push it does not whirl chorister. sent4: if that the Orion is a kind of a push that is a sandblaster is incorrect then the butternut is not a push. sent5: the floret does whirl chorister. sent6: if the floret is a nark but not ipsilateral then it is moneyless. sent7: the opener is not osseous if there is something such that it is not a sop and is not a sonar. sent8: the sternutator does not whirl change-up. sent9: something narks but it is not ipsilateral if it is a sandblaster. sent10: the wirework does not push. sent11: if the floret does whirl chorister but it is not a sandblaster then the butternut is a kind of a push. sent12: the sternutator does not whirl sigmoidectomy and it does not whirl chorister if it does not whirl change-up. sent13: The chorister does whirl floret. sent14: something does nark if it is a sandblaster. sent15: if the floret is a push but not ipsilateral then it is moneyless. sent16: if the floret is a kind of a sandblaster the fact that it is a nark is right. sent17: the opener is not a tun. sent18: that the butternut is osseous thing that is a kind of a tun is wrong. sent19: if the fact that the myxosporidian is not moneyless and not a sandblaster is incorrect it is a sandblaster.
sent9 -> int1: that the floret narks but it is not ipsilateral if the fact that the floret is not a kind of a sandblaster does not hold is not wrong.; void -> assump1: Let's assume that the floret is a sandblaster.; int1 & assump1 -> int2: the floret is a kind of a nark but it is not ipsilateral.; int2 & sent6 -> int3: the floret is moneyless.;
the myxosporidian is a kind of a push.
sent18 -> int4: there is something such that that it is both osseous and a tun does not hold.;
$hypothesis$ = the butternut is a push. ; $context$ = sent1: there exists something such that it is both not a sop and not a sonar. sent2: if something does not whirl chorister and is moneyless then it does not push. sent3: if something is a push it does not whirl chorister. sent4: if that the Orion is a kind of a push that is a sandblaster is incorrect then the butternut is not a push. sent5: the floret does whirl chorister. sent6: if the floret is a nark but not ipsilateral then it is moneyless. sent7: the opener is not osseous if there is something such that it is not a sop and is not a sonar. sent8: the sternutator does not whirl change-up. sent9: something narks but it is not ipsilateral if it is a sandblaster. sent10: the wirework does not push. sent11: if the floret does whirl chorister but it is not a sandblaster then the butternut is a kind of a push. sent12: the sternutator does not whirl sigmoidectomy and it does not whirl chorister if it does not whirl change-up. sent13: The chorister does whirl floret. sent14: something does nark if it is a sandblaster. sent15: if the floret is a push but not ipsilateral then it is moneyless. sent16: if the floret is a kind of a sandblaster the fact that it is a nark is right. sent17: the opener is not a tun. sent18: that the butternut is osseous thing that is a kind of a tun is wrong. sent19: if the fact that the myxosporidian is not moneyless and not a sandblaster is incorrect it is a sandblaster. ; $proof$ = 
sent9 -> int1: that the floret narks but it is not ipsilateral if the fact that the floret is not a kind of a sandblaster does not hold is not wrong.; void -> assump1: Let's assume that the floret is a sandblaster.; int1 & assump1 -> int2: the floret is a kind of a nark but it is not ipsilateral.; int2 & sent6 -> int3: the floret is moneyless.; __UNKNOWN__