the gastrin covets Babel.
sent1: something is not a foolscap but steadied if it is incorrigible. sent2: the gastrin covets Babel if it is euphonic. sent3: the gastrin is incorrigible if that that the paving is not steadied but it is sugarless does not hold is not wrong. sent4: the drawer is considerate if the sedative is not a submersible. sent5: if the drawer is considerate then the muslin is a kind of a foolscap. sent6: if something is a relativity then it is non-euphonic thing that does not treat Walter. sent7: the drawer is a relativity if it is environmental. sent8: if that the sedative is not considerate and does not steady is not correct then the highboard is considerate. sent9: if the drawer is a kind of non-euphonic thing that does not treat Walter it is incorrigible. sent10: everything is not a foolscap. sent11: if the sedative is sugarless then that the paving is not steadied but sugarless is false. sent12: if something is a kind of a foolscap the fact that it is not considerate and it is not steadied does not hold. sent13: something is incorrigible and is not sugarless if that it is considerate is true. sent14: if the sedative is not sugarless either it is not artifactual or it is not a kind of a submersible or both. sent15: the gastrin is not non-euphonic if it is incorrigible. sent16: the drawer is a nympholept. sent17: if the drawer is a nympholept then it is environmental.
void -> assump1: Let's assume that the sedative is not sugarless.; sent14 & assump1 -> int1: the sedative is either not artifactual or not submersible or both.; sent10 -> int2: the muslin is not a foolscap.;
the highboard is incorrigible.
sent13 -> int3: the highboard is incorrigible and is not sugarless if it is considerate.; sent12 -> int4: that the sedative is inconsiderate and non-steadied is not correct if it is a foolscap.;
$hypothesis$ = the gastrin covets Babel. ; $context$ = sent1: something is not a foolscap but steadied if it is incorrigible. sent2: the gastrin covets Babel if it is euphonic. sent3: the gastrin is incorrigible if that that the paving is not steadied but it is sugarless does not hold is not wrong. sent4: the drawer is considerate if the sedative is not a submersible. sent5: if the drawer is considerate then the muslin is a kind of a foolscap. sent6: if something is a relativity then it is non-euphonic thing that does not treat Walter. sent7: the drawer is a relativity if it is environmental. sent8: if that the sedative is not considerate and does not steady is not correct then the highboard is considerate. sent9: if the drawer is a kind of non-euphonic thing that does not treat Walter it is incorrigible. sent10: everything is not a foolscap. sent11: if the sedative is sugarless then that the paving is not steadied but sugarless is false. sent12: if something is a kind of a foolscap the fact that it is not considerate and it is not steadied does not hold. sent13: something is incorrigible and is not sugarless if that it is considerate is true. sent14: if the sedative is not sugarless either it is not artifactual or it is not a kind of a submersible or both. sent15: the gastrin is not non-euphonic if it is incorrigible. sent16: the drawer is a nympholept. sent17: if the drawer is a nympholept then it is environmental. ; $proof$ = 
void -> assump1: Let's assume that the sedative is not sugarless.; sent14 & assump1 -> int1: the sedative is either not artifactual or not submersible or both.; sent10 -> int2: the muslin is not a foolscap.; __UNKNOWN__