the smoothie does not contemplate Danube.
sent1: if something is a nawab it does not chance and fossilizes. sent2: if something does harmonize it is scalic. sent3: the fact that the smoothie does not fossilize is true. sent4: the limit is an evil. sent5: the wigwam is a manners if it is complimentary. sent6: the color is a kind of a waters. sent7: if something is not an evil then it is complimentary and it is a manners. sent8: if the wigwam is a manners and is not non-evil then the smoothie does not contemplate Danube. sent9: if the smoothie is a manners then it does contemplate Danube. sent10: the color fossilizes. sent11: the wigwam is complimentary. sent12: that the wigwam fossilizes is true if that the color is a manners is correct. sent13: if the fact that the color is complimentary is right then the wigwam does contemplate Danube. sent14: the wigwam contemplates Interpol. sent15: if the color does fossilize the wigwam is an evil. sent16: the wigwam contemplates Danube. sent17: something is a nawab if it is scalic. sent18: if something that does not contemplate Danube is not a kind of an evil then it is not a kind of a manners. sent19: if the smoothie does fossilize the color contemplates Danube. sent20: if something is a chance it does not contemplate Danube and is not an evil. sent21: the fact that the recess does harmonize is not wrong if something is not a kind of a sapsago. sent22: there exists something such that it is not a kind of a sapsago.
sent5 & sent11 -> int1: the wigwam is a manners.; sent15 & sent10 -> int2: the wigwam is a kind of an evil.; int1 & int2 -> int3: the wigwam is a manners that is a kind of an evil.; int3 & sent8 -> hypothesis;
the smoothie contemplates Danube.
sent7 -> int4: if the color is not a kind of an evil it is complimentary and it is a kind of a manners.; sent1 -> int5: if the recess is a nawab then the fact that it is not a chance and it does fossilize is right.; sent17 -> int6: if the recess is scalic then it is a nawab.; sent2 -> int7: the recess is scalic if it does harmonize.; sent22 & sent21 -> int8: that the recess does harmonize is not false.; int7 & int8 -> int9: the recess is scalic.; int6 & int9 -> int10: the fact that the recess is a nawab is not incorrect.; int5 & int10 -> int11: the recess is not a chance but it fossilizes.; int11 -> int12: something is not a kind of a chance and fossilizes.;
$hypothesis$ = the smoothie does not contemplate Danube. ; $context$ = sent1: if something is a nawab it does not chance and fossilizes. sent2: if something does harmonize it is scalic. sent3: the fact that the smoothie does not fossilize is true. sent4: the limit is an evil. sent5: the wigwam is a manners if it is complimentary. sent6: the color is a kind of a waters. sent7: if something is not an evil then it is complimentary and it is a manners. sent8: if the wigwam is a manners and is not non-evil then the smoothie does not contemplate Danube. sent9: if the smoothie is a manners then it does contemplate Danube. sent10: the color fossilizes. sent11: the wigwam is complimentary. sent12: that the wigwam fossilizes is true if that the color is a manners is correct. sent13: if the fact that the color is complimentary is right then the wigwam does contemplate Danube. sent14: the wigwam contemplates Interpol. sent15: if the color does fossilize the wigwam is an evil. sent16: the wigwam contemplates Danube. sent17: something is a nawab if it is scalic. sent18: if something that does not contemplate Danube is not a kind of an evil then it is not a kind of a manners. sent19: if the smoothie does fossilize the color contemplates Danube. sent20: if something is a chance it does not contemplate Danube and is not an evil. sent21: the fact that the recess does harmonize is not wrong if something is not a kind of a sapsago. sent22: there exists something such that it is not a kind of a sapsago. ; $proof$ = 
sent5 & sent11 -> int1: the wigwam is a manners.; sent15 & sent10 -> int2: the wigwam is a kind of an evil.; int1 & int2 -> int3: the wigwam is a manners that is a kind of an evil.; int3 & sent8 -> hypothesis; __PROVED__