something is a throw-weight and vicennial.
sent1: if the impasse is not a kind of a smoothness the larkspur is a throw-weight. sent2: something is a nectarine and it is a kind of a throw-weight if it is not a kind of a owlet. sent3: the impasse is a deskman. sent4: the larkspur is vicennial. sent5: the fact that the impasse is a kind of a throw-weight is true if the larkspur is a smoothness. sent6: the impasse is a Egyptian and is a kind of a smoothness. sent7: the impasse bathes and/or it is a smoothness. sent8: the impasse is a kind of a throw-weight if the larkspur is vicennial and/or does not bathe. sent9: the impasse is a kind of a midwatch. sent10: the larkspur is a throw-weight if the impasse either does bathe or is not a smoothness or both. sent11: the larkspur is a bathe. sent12: the impasse is a marshal and intensifies suspected. sent13: the larkspur bathes and it is ctenoid. sent14: if the larkspur bathes and/or it is not a smoothness the impasse is a throw-weight. sent15: the impasse is both a smoothness and a throw-weight. sent16: there exists something such that it is choral. sent17: the impasse is a kind of a throw-weight if the fact that the larkspur is vicennial is correct. sent18: there is something such that the fact that it is a kind of a smoothness is not incorrect. sent19: the impasse is a bathe and/or it is not a kind of a smoothness. sent20: there exists something such that it is minty.
sent10 & sent19 -> int1: the larkspur is a throw-weight.; int1 & sent4 -> int2: the larkspur is a throw-weight that is vicennial.; int2 -> hypothesis;
the pimozide is vicennial.
sent2 -> int3: if the impasse is not a owlet it is both a nectarine and a throw-weight.;
$hypothesis$ = something is a throw-weight and vicennial. ; $context$ = sent1: if the impasse is not a kind of a smoothness the larkspur is a throw-weight. sent2: something is a nectarine and it is a kind of a throw-weight if it is not a kind of a owlet. sent3: the impasse is a deskman. sent4: the larkspur is vicennial. sent5: the fact that the impasse is a kind of a throw-weight is true if the larkspur is a smoothness. sent6: the impasse is a Egyptian and is a kind of a smoothness. sent7: the impasse bathes and/or it is a smoothness. sent8: the impasse is a kind of a throw-weight if the larkspur is vicennial and/or does not bathe. sent9: the impasse is a kind of a midwatch. sent10: the larkspur is a throw-weight if the impasse either does bathe or is not a smoothness or both. sent11: the larkspur is a bathe. sent12: the impasse is a marshal and intensifies suspected. sent13: the larkspur bathes and it is ctenoid. sent14: if the larkspur bathes and/or it is not a smoothness the impasse is a throw-weight. sent15: the impasse is both a smoothness and a throw-weight. sent16: there exists something such that it is choral. sent17: the impasse is a kind of a throw-weight if the fact that the larkspur is vicennial is correct. sent18: there is something such that the fact that it is a kind of a smoothness is not incorrect. sent19: the impasse is a bathe and/or it is not a kind of a smoothness. sent20: there exists something such that it is minty. ; $proof$ = 
sent10 & sent19 -> int1: the larkspur is a throw-weight.; int1 & sent4 -> int2: the larkspur is a throw-weight that is vicennial.; int2 -> hypothesis; __PROVED__