the seven is not contemptible but it is dirty.
sent1: the seven is not contemptible. sent2: the sod is a kind of a Hoth but it does not tinkle speechwriter if the insectifuge is not a Hoth. sent3: the insectifuge inducts. sent4: if that the seven is not a kind of a bankroll but it does induct does not hold then it is a bankroll. sent5: if something is a kind of a bankroll that it does not tinkle speechwriter and is not heliacal does not hold. sent6: if there is something such that it is not a airburst then the sod is a hypersensitivity. sent7: the yodeller is not contemptible if the sod is a kind of a hypersensitivity that is a Hoth. sent8: the insectifuge is not a Hoth if it is a bankroll. sent9: there exists something such that it is not a airburst. sent10: the seven is not contemptible but it does dirty if the fact that the yodeller is not contemptible is correct. sent11: the sod is not non-dirty. sent12: if the fact that the insectifuge is not contemptible is correct the yodeller is a Hoth. sent13: if something does bankroll then that it is both not contemptible and dirty is false. sent14: the sod dirties but it does not tinkle speechwriter. sent15: if the fact that the insectifuge is not a Hoth but it does bankroll does not hold the seven bankroll.
void -> assump1: Let's assume that the insectifuge is not a bankroll and does not induct.; assump1 -> int1: the insectifuge does not induct.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the insectifuge does not bankroll and it does not induct is not true.; sent9 & sent6 -> int4: the sod is a hypersensitivity.;
the fact that the seven is both not contemptible and dirty is wrong.
sent13 -> int5: the fact that the seven is not contemptible but it does dirty does not hold if it is a bankroll.;
$hypothesis$ = the seven is not contemptible but it is dirty. ; $context$ = sent1: the seven is not contemptible. sent2: the sod is a kind of a Hoth but it does not tinkle speechwriter if the insectifuge is not a Hoth. sent3: the insectifuge inducts. sent4: if that the seven is not a kind of a bankroll but it does induct does not hold then it is a bankroll. sent5: if something is a kind of a bankroll that it does not tinkle speechwriter and is not heliacal does not hold. sent6: if there is something such that it is not a airburst then the sod is a hypersensitivity. sent7: the yodeller is not contemptible if the sod is a kind of a hypersensitivity that is a Hoth. sent8: the insectifuge is not a Hoth if it is a bankroll. sent9: there exists something such that it is not a airburst. sent10: the seven is not contemptible but it does dirty if the fact that the yodeller is not contemptible is correct. sent11: the sod is not non-dirty. sent12: if the fact that the insectifuge is not contemptible is correct the yodeller is a Hoth. sent13: if something does bankroll then that it is both not contemptible and dirty is false. sent14: the sod dirties but it does not tinkle speechwriter. sent15: if the fact that the insectifuge is not a Hoth but it does bankroll does not hold the seven bankroll. ; $proof$ = 
void -> assump1: Let's assume that the insectifuge is not a bankroll and does not induct.; assump1 -> int1: the insectifuge does not induct.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the insectifuge does not bankroll and it does not induct is not true.; sent9 & sent6 -> int4: the sod is a hypersensitivity.; __UNKNOWN__