the ornithischian is a brachycephalic if the orthicon is stomatous.
sent1: the anchovy is inactive. sent2: if something is not inactive it is stomatous. sent3: the leotard is a brachycephalic. sent4: if the orthicon is inactive that the ornithischian is stomatous is true. sent5: something that is a kind of a Skinnerian and/or is not a ransom is benzylic. sent6: the ornithischian does tape. sent7: something is a brachycephalic if it is not inactive and it is not stomatous. sent8: the orthicon is not a Philistine. sent9: if the orthicon is inactive the ornithischian is a brachycephalic. sent10: the ornithischian does pipe verticil. sent11: if the orthicon is not inactive it is stomatous. sent12: if that the ornithischian does not pipe covey and/or it does not jump leotard is incorrect then that it does not pipe rectocele is true. sent13: the bitternut is not non-stomatous. sent14: if something is benzylic it is not inactive and is not stomatous. sent15: the orthicon is a brachycephalic if the ornithischian is inactive. sent16: something is not a kind of a brachycephalic if it is not inactive. sent17: if the orthicon is a brachycephalic then the ornithischian is stomatous. sent18: the ornithischian is benzylic if it is Skinnerian. sent19: if the orthicon is not a delf then it does not pant-hoot. sent20: the sarcoptid is stomatous. sent21: if something is not a hug it does not jump expropriation.
void -> assump1: Let's assume that the orthicon is stomatous.;
the orthicon is a kind of a brachycephalic.
sent7 -> int1: if the orthicon is not inactive and it is not stomatous then it is a brachycephalic.; sent14 -> int2: the orthicon is not inactive and it is not stomatous if the fact that it is benzylic hold.; sent5 -> int3: the orthicon is benzylic if it is a Skinnerian or it does not ransom or both.;
$hypothesis$ = the ornithischian is a brachycephalic if the orthicon is stomatous. ; $context$ = sent1: the anchovy is inactive. sent2: if something is not inactive it is stomatous. sent3: the leotard is a brachycephalic. sent4: if the orthicon is inactive that the ornithischian is stomatous is true. sent5: something that is a kind of a Skinnerian and/or is not a ransom is benzylic. sent6: the ornithischian does tape. sent7: something is a brachycephalic if it is not inactive and it is not stomatous. sent8: the orthicon is not a Philistine. sent9: if the orthicon is inactive the ornithischian is a brachycephalic. sent10: the ornithischian does pipe verticil. sent11: if the orthicon is not inactive it is stomatous. sent12: if that the ornithischian does not pipe covey and/or it does not jump leotard is incorrect then that it does not pipe rectocele is true. sent13: the bitternut is not non-stomatous. sent14: if something is benzylic it is not inactive and is not stomatous. sent15: the orthicon is a brachycephalic if the ornithischian is inactive. sent16: something is not a kind of a brachycephalic if it is not inactive. sent17: if the orthicon is a brachycephalic then the ornithischian is stomatous. sent18: the ornithischian is benzylic if it is Skinnerian. sent19: if the orthicon is not a delf then it does not pant-hoot. sent20: the sarcoptid is stomatous. sent21: if something is not a hug it does not jump expropriation. ; $proof$ = 
void -> assump1: Let's assume that the orthicon is stomatous.; __UNKNOWN__