the megakaryocyte does skid Toulouse.
sent1: the kitty is a kind of a bench and it is memberless. sent2: if there are non-perineal things then the plowboy does not extricate Stilton and/or it is memberless. sent3: if the megakaryocyte is a Shaktist then it does skid abstainer. sent4: the plowboy is a kind of a dysphoria. sent5: the plainsman is not ergotic if it extricates deathwatch and it is basiscopic. sent6: if the names extricates Stilton but it is not perineal then the seahorse is not phosphorous. sent7: that the megakaryocyte is a kind of a Shaktist is right. sent8: something that skids abstainer and does skid Toulouse is not phosphorous. sent9: the plowboy does not skid abstainer if the fact that either the seahorse does skid Toulouse or it skid abstainer or both is not right. sent10: if the plowboy does not skid abstainer the megakaryocyte is memberless and it is a kind of a Shaktist. sent11: everything is not a kind of a masochist. sent12: if the fact that something is not memberless is right then it does skid abstainer and it is phosphorous. sent13: if the megakaryocyte is not phosphorous the fact that the plowboy either does not extricate Stilton or is memberless or both does not hold. sent14: there exists something such that the fact that it is not perineal is right. sent15: something is not a bivalve and it is not a homestead if it is not a masochist. sent16: the plowboy does extricate Stilton if the megakaryocyte is not phosphorous. sent17: the huisache is not a kind of a cost if something is not bivalve and is not a kind of a homestead.
sent3 & sent7 -> int1: the megakaryocyte skids abstainer.; void -> assump1: Let's assume that the megakaryocyte skids Toulouse.; int1 & assump1 -> int2: the megakaryocyte skids abstainer and skids Toulouse.; sent8 -> int3: the megakaryocyte is not phosphorous if it does skid abstainer and it does skid Toulouse.; int2 & int3 -> int4: the megakaryocyte is not phosphorous.; int4 & sent13 -> int5: that the plowboy does not extricate Stilton or it is memberless or both is not correct.; sent14 & sent2 -> int6: the plowboy does not extricate Stilton and/or it is memberless.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the megakaryocyte does skid Toulouse.
sent12 -> int8: the seahorse skids abstainer and it is phosphorous if it is not memberless.;
$hypothesis$ = the megakaryocyte does skid Toulouse. ; $context$ = sent1: the kitty is a kind of a bench and it is memberless. sent2: if there are non-perineal things then the plowboy does not extricate Stilton and/or it is memberless. sent3: if the megakaryocyte is a Shaktist then it does skid abstainer. sent4: the plowboy is a kind of a dysphoria. sent5: the plainsman is not ergotic if it extricates deathwatch and it is basiscopic. sent6: if the names extricates Stilton but it is not perineal then the seahorse is not phosphorous. sent7: that the megakaryocyte is a kind of a Shaktist is right. sent8: something that skids abstainer and does skid Toulouse is not phosphorous. sent9: the plowboy does not skid abstainer if the fact that either the seahorse does skid Toulouse or it skid abstainer or both is not right. sent10: if the plowboy does not skid abstainer the megakaryocyte is memberless and it is a kind of a Shaktist. sent11: everything is not a kind of a masochist. sent12: if the fact that something is not memberless is right then it does skid abstainer and it is phosphorous. sent13: if the megakaryocyte is not phosphorous the fact that the plowboy either does not extricate Stilton or is memberless or both does not hold. sent14: there exists something such that the fact that it is not perineal is right. sent15: something is not a bivalve and it is not a homestead if it is not a masochist. sent16: the plowboy does extricate Stilton if the megakaryocyte is not phosphorous. sent17: the huisache is not a kind of a cost if something is not bivalve and is not a kind of a homestead. ; $proof$ = 
sent3 & sent7 -> int1: the megakaryocyte skids abstainer.; void -> assump1: Let's assume that the megakaryocyte skids Toulouse.; int1 & assump1 -> int2: the megakaryocyte skids abstainer and skids Toulouse.; sent8 -> int3: the megakaryocyte is not phosphorous if it does skid abstainer and it does skid Toulouse.; int2 & int3 -> int4: the megakaryocyte is not phosphorous.; int4 & sent13 -> int5: that the plowboy does not extricate Stilton or it is memberless or both is not correct.; sent14 & sent2 -> int6: the plowboy does not extricate Stilton and/or it is memberless.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__