that the hectograph is a kind of an arrayed that hashes fundraiser does not hold.
sent1: that something is an arrayed and curly is not true if it is not Homeric. sent2: if the fact that the teddy hashes fundraiser is not incorrect then the hectograph hashes fundraiser. sent3: if something does not feel then the fact that it is an arrayed and it does hash fundraiser is not correct. sent4: the teddy is not cross-modal if that it is top-down and it is cross-modal is false. sent5: that the teddy is an arrayed and it is curly is not correct if it does not hash fundraiser. sent6: something is not a detailed if that it hashes fundraiser and is a felt is incorrect. sent7: if the teddy is Homeric but it is not curly the hectograph does not feel. sent8: the stoma does not hash fundraiser. sent9: something that is not cross-modal is a kind of a felt and does hash fundraiser. sent10: the diviner is an arrayed but not a legatee. sent11: if something is not cross-modal then that it does hash fundraiser and does feel is incorrect. sent12: the hectograph is an arrayed if the diviner is a kind of an arrayed. sent13: the teddy is Homeric. sent14: the teddy is a kind of Homeric thing that is not curly.
sent7 & sent14 -> int1: the hectograph is not a felt.; sent3 -> int2: if the hectograph does not feel then that it is a kind of an arrayed and it hashes fundraiser does not hold.; int1 & int2 -> hypothesis;
the fact that the pederasty is an arrayed and it is a detailed is incorrect.
sent6 -> int3: if the fact that the teddy hashes fundraiser and is a felt is wrong it is not a kind of a detailed.; sent11 -> int4: if the teddy is not cross-modal the fact that it hashes fundraiser and is a felt is not right.;
$hypothesis$ = that the hectograph is a kind of an arrayed that hashes fundraiser does not hold. ; $context$ = sent1: that something is an arrayed and curly is not true if it is not Homeric. sent2: if the fact that the teddy hashes fundraiser is not incorrect then the hectograph hashes fundraiser. sent3: if something does not feel then the fact that it is an arrayed and it does hash fundraiser is not correct. sent4: the teddy is not cross-modal if that it is top-down and it is cross-modal is false. sent5: that the teddy is an arrayed and it is curly is not correct if it does not hash fundraiser. sent6: something is not a detailed if that it hashes fundraiser and is a felt is incorrect. sent7: if the teddy is Homeric but it is not curly the hectograph does not feel. sent8: the stoma does not hash fundraiser. sent9: something that is not cross-modal is a kind of a felt and does hash fundraiser. sent10: the diviner is an arrayed but not a legatee. sent11: if something is not cross-modal then that it does hash fundraiser and does feel is incorrect. sent12: the hectograph is an arrayed if the diviner is a kind of an arrayed. sent13: the teddy is Homeric. sent14: the teddy is a kind of Homeric thing that is not curly. ; $proof$ = 
sent7 & sent14 -> int1: the hectograph is not a felt.; sent3 -> int2: if the hectograph does not feel then that it is a kind of an arrayed and it hashes fundraiser does not hold.; int1 & int2 -> hypothesis; __PROVED__