the antitauon peruses boliviano.
sent1: that the antitauon is a tailfin and it is a brim is incorrect. sent2: if that something does not peruse irritation and briefs glass-cutter is wrong then it is not a neutralism. sent3: the fact that something peruses boliviano and does pace does not hold if it is not a tailfin. sent4: there exists something such that it is not a pace. sent5: the shebeen does brim. sent6: if the fact that the antitauon impinges gunnery and is not later is not right it is a neutralism. sent7: if the fact that the antitauon is a kind of a tailfin that does not brim is wrong that it peruses boliviano is not wrong. sent8: the Rediffusion does brim but it is not a tailfin if it is not a neutralism. sent9: something is not a tailfin if the fact that it is a neutralism and is not a brim is not correct. sent10: that the antitauon is a kind of a tailfin that does not brim is not correct if something does not pace. sent11: that the antitauon is not a colonoscope is incorrect if it is a kind of a deanery. sent12: if there exists something such that it does not pace then the fact that the antitauon is a tailfin and is a brim does not hold. sent13: the fact that the antitauon is a saccade but it does not peruse boliviano is not correct. sent14: if the fact that the antitauon does not peruse boliviano but it is a brim is not right the dhow is not a brim. sent15: if the Rediffusion is a brim but not a tailfin it does pace.
sent4 & sent10 -> int1: the fact that the antitauon is a tailfin but it is not a brim is not correct.; int1 & sent7 -> hypothesis;
the dhow is a tailfin.
$hypothesis$ = the antitauon peruses boliviano. ; $context$ = sent1: that the antitauon is a tailfin and it is a brim is incorrect. sent2: if that something does not peruse irritation and briefs glass-cutter is wrong then it is not a neutralism. sent3: the fact that something peruses boliviano and does pace does not hold if it is not a tailfin. sent4: there exists something such that it is not a pace. sent5: the shebeen does brim. sent6: if the fact that the antitauon impinges gunnery and is not later is not right it is a neutralism. sent7: if the fact that the antitauon is a kind of a tailfin that does not brim is wrong that it peruses boliviano is not wrong. sent8: the Rediffusion does brim but it is not a tailfin if it is not a neutralism. sent9: something is not a tailfin if the fact that it is a neutralism and is not a brim is not correct. sent10: that the antitauon is a kind of a tailfin that does not brim is not correct if something does not pace. sent11: that the antitauon is not a colonoscope is incorrect if it is a kind of a deanery. sent12: if there exists something such that it does not pace then the fact that the antitauon is a tailfin and is a brim does not hold. sent13: the fact that the antitauon is a saccade but it does not peruse boliviano is not correct. sent14: if the fact that the antitauon does not peruse boliviano but it is a brim is not right the dhow is not a brim. sent15: if the Rediffusion is a brim but not a tailfin it does pace. ; $proof$ = 
sent4 & sent10 -> int1: the fact that the antitauon is a tailfin but it is not a brim is not correct.; int1 & sent7 -> hypothesis; __PROVED__