that the Utopian swims tragedienne and it crochets is not right.
sent1: there is something such that that it is a kind of gustatory thing that is not a jugular is false. sent2: if something is not moneyless then it supples dudgeon and/or it does not swim Verlaine. sent3: if the fact that the membrane does supple dudgeon is not false then it is not Kafkaesque and not a virus. sent4: the Utopian is a kind of a crocheting if it trickles. sent5: something is not Napoleonic and not a convocation if it is not supernatural. sent6: the sandbank is not gustatory if there is something such that the fact that it is gustatory and is not a jugular is false. sent7: the fact that the membrane is a kind of a crocheting that does swim tragedienne does not hold if the Utopian does not crocheting. sent8: if there is something such that the fact that it does not swim tragedienne and it is unprintable is incorrect the membrane is not a clot. sent9: the membrane is not unprintable and it does not swim tragedienne. sent10: something does swim tragedienne and is unprintable if that it is not a virus hold. sent11: the membrane is not unprintable. sent12: something is not a virus but it is a kind of an acuteness if it is not Napoleonic. sent13: if the egalitarian is not a virus and is a kind of an acuteness then the Utopian is not a virus. sent14: something that does not swim Verlaine is a kind of a crocheting that trickles. sent15: if the fact that that the dummy is Sudanese and it caparisons is false is not wrong the membrane is not moneyless. sent16: the fact that the Utopian does swim tragedienne and it is a crocheting is not right if the membrane does not swim tragedienne. sent17: if something crochets then the fact that it does not swim tragedienne and is unprintable is not right. sent18: if something is acetylic then it is not a kind of a supernatural. sent19: if the sandbank is not gustatory the fact that the dummy is a Sudanese and a caparisoned does not hold. sent20: the egalitarian is acetylic. sent21: the Utopian does not swim Verlaine if the membrane does supple dudgeon. sent22: if the egalitarian is not an acuteness then the Utopian does trickle and it swims Verlaine.
sent9 -> int1: the membrane does not swim tragedienne.; sent16 & int1 -> hypothesis;
the membrane is not a clot and it is not Kafkaesque.
sent17 -> int2: if the Utopian is a crocheting then that it does not swim tragedienne and is unprintable does not hold.;
$hypothesis$ = that the Utopian swims tragedienne and it crochets is not right. ; $context$ = sent1: there is something such that that it is a kind of gustatory thing that is not a jugular is false. sent2: if something is not moneyless then it supples dudgeon and/or it does not swim Verlaine. sent3: if the fact that the membrane does supple dudgeon is not false then it is not Kafkaesque and not a virus. sent4: the Utopian is a kind of a crocheting if it trickles. sent5: something is not Napoleonic and not a convocation if it is not supernatural. sent6: the sandbank is not gustatory if there is something such that the fact that it is gustatory and is not a jugular is false. sent7: the fact that the membrane is a kind of a crocheting that does swim tragedienne does not hold if the Utopian does not crocheting. sent8: if there is something such that the fact that it does not swim tragedienne and it is unprintable is incorrect the membrane is not a clot. sent9: the membrane is not unprintable and it does not swim tragedienne. sent10: something does swim tragedienne and is unprintable if that it is not a virus hold. sent11: the membrane is not unprintable. sent12: something is not a virus but it is a kind of an acuteness if it is not Napoleonic. sent13: if the egalitarian is not a virus and is a kind of an acuteness then the Utopian is not a virus. sent14: something that does not swim Verlaine is a kind of a crocheting that trickles. sent15: if the fact that that the dummy is Sudanese and it caparisons is false is not wrong the membrane is not moneyless. sent16: the fact that the Utopian does swim tragedienne and it is a crocheting is not right if the membrane does not swim tragedienne. sent17: if something crochets then the fact that it does not swim tragedienne and is unprintable is not right. sent18: if something is acetylic then it is not a kind of a supernatural. sent19: if the sandbank is not gustatory the fact that the dummy is a Sudanese and a caparisoned does not hold. sent20: the egalitarian is acetylic. sent21: the Utopian does not swim Verlaine if the membrane does supple dudgeon. sent22: if the egalitarian is not an acuteness then the Utopian does trickle and it swims Verlaine. ; $proof$ = 
sent9 -> int1: the membrane does not swim tragedienne.; sent16 & int1 -> hypothesis; __PROVED__