there is something such that if the fact that it is not a solvency and it is not a Borodino is false it is not a kind of a grief.
sent1: there is something such that if the fact that it does not torment Roundhead and it is not a penknife is not right then it does not torment plumbing. sent2: the clotheshorse is a kind of a grief if that it is not a solvency and is not a Borodino is false. sent3: there is something such that if the fact that it is not a solvency and it is a Borodino does not hold it is not a grief. sent4: there exists something such that if that it is not innumerate and it does not simulate does not hold it is not clayey. sent5: something is not a kind of a Jurassic if it does meet.
$hypothesis$ = there is something such that if the fact that it is not a solvency and it is not a Borodino is false it is not a kind of a grief. ; $context$ = sent1: there is something such that if the fact that it does not torment Roundhead and it is not a penknife is not right then it does not torment plumbing. sent2: the clotheshorse is a kind of a grief if that it is not a solvency and is not a Borodino is false. sent3: there is something such that if the fact that it is not a solvency and it is a Borodino does not hold it is not a grief. sent4: there exists something such that if that it is not innumerate and it does not simulate does not hold it is not clayey. sent5: something is not a kind of a Jurassic if it does meet. ; $proof$ = 
__UNKNOWN__