the sashimi is polymeric but it does not pitch prick.
sent1: the fact that something is heteroecious but it is not fashionable does not hold if it is not unsinkable. sent2: if the chariot repairs Jespersen the sashimi is polymeric and does not pitch prick. sent3: if something resounds that it is polymeric and it does not pitch prick is not correct. sent4: if the fact that the synergism is heteroecious but it is not fashionable is not correct the Thatcher is not heteroecious. sent5: the fact that the sashimi does repair Jespersen is not false. sent6: something is a lowercase or is not a kind of a perfecter or both if it is not heteroecious. sent7: the sashimi does repair Jespersen and does not pitch prick. sent8: the synergism is not unsinkable. sent9: if the hub is not a kind of a Utnapishtim then the chariot repairs Jespersen. sent10: something that repairs Jespersen is achenial. sent11: if the Dominion does not repair Jespersen that the chariot is endocentric and it is achenial is not right. sent12: if the fact that the hub does not resound and/or it is a Utnapishtim is not true the sashimi resound. sent13: if there exists something such that it does resound then the hub is not a Utnapishtim or it is not achenial or both. sent14: if the hub is not achenial then the chariot does repair Jespersen. sent15: there exists something such that it does resound. sent16: if something is a lowercase or it is not a perfecter or both then the Dominion does not repair Jespersen.
sent15 & sent13 -> int1: the hub is not a Utnapishtim and/or it is not achenial.; int1 & sent9 & sent14 -> int2: the chariot does repair Jespersen.; sent2 & int2 -> hypothesis;
the fact that the sashimi is polymeric but it does not pitch prick is false.
sent3 -> int3: that the sashimi is polymeric but it does not pitch prick does not hold if it does resound.; sent6 -> int4: the Thatcher is a lowercase and/or it is not a perfecter if it is not heteroecious.; sent1 -> int5: the fact that the synergism is heteroecious but it is not fashionable does not hold if it is not unsinkable.; int5 & sent8 -> int6: the fact that the synergism is heteroecious and is not fashionable does not hold.; sent4 & int6 -> int7: the fact that the Thatcher is not heteroecious is correct.; int4 & int7 -> int8: the Thatcher either is lowercase or is not a perfecter or both.; int8 -> int9: there is something such that either it is lowercase or it is not a perfecter or both.; int9 & sent16 -> int10: the Dominion does not repair Jespersen.; sent11 & int10 -> int11: that the fact that the chariot is not non-endocentric but achenial is not wrong is not correct.; int11 -> int12: there exists something such that that it is endocentric and is achenial does not hold.;
$hypothesis$ = the sashimi is polymeric but it does not pitch prick. ; $context$ = sent1: the fact that something is heteroecious but it is not fashionable does not hold if it is not unsinkable. sent2: if the chariot repairs Jespersen the sashimi is polymeric and does not pitch prick. sent3: if something resounds that it is polymeric and it does not pitch prick is not correct. sent4: if the fact that the synergism is heteroecious but it is not fashionable is not correct the Thatcher is not heteroecious. sent5: the fact that the sashimi does repair Jespersen is not false. sent6: something is a lowercase or is not a kind of a perfecter or both if it is not heteroecious. sent7: the sashimi does repair Jespersen and does not pitch prick. sent8: the synergism is not unsinkable. sent9: if the hub is not a kind of a Utnapishtim then the chariot repairs Jespersen. sent10: something that repairs Jespersen is achenial. sent11: if the Dominion does not repair Jespersen that the chariot is endocentric and it is achenial is not right. sent12: if the fact that the hub does not resound and/or it is a Utnapishtim is not true the sashimi resound. sent13: if there exists something such that it does resound then the hub is not a Utnapishtim or it is not achenial or both. sent14: if the hub is not achenial then the chariot does repair Jespersen. sent15: there exists something such that it does resound. sent16: if something is a lowercase or it is not a perfecter or both then the Dominion does not repair Jespersen. ; $proof$ = 
sent15 & sent13 -> int1: the hub is not a Utnapishtim and/or it is not achenial.; int1 & sent9 & sent14 -> int2: the chariot does repair Jespersen.; sent2 & int2 -> hypothesis; __PROVED__