there is something such that it does not horripilate and is not non-Yeatsian.
sent1: the fact that the beanie is an utterance is not incorrect. sent2: if the fact that the manganese is not biocatalytic is true that the warship is Yeatsian hold. sent3: the pierid does not horripilate. sent4: the fact that the beanie is not considerate hold. sent5: if something that does not repossess is an utterance then it is aoristic. sent6: if something is not a Telosporidia and trundles target then it protests mat. sent7: the beanie is not aoristic. sent8: there exists something such that it does not horripilate. sent9: the warship does not horripilate if there exists something such that it reruns sparring. sent10: if the beanie does not rerun sparring then it is an utterance. sent11: something is Yeatsian. sent12: if the beanie does not rerun sparring it does not repossess and is a kind of an utterance. sent13: the manganese is not Yeatsian. sent14: there is something such that it horripilates and is Yeatsian. sent15: the manganese is not biocatalytic. sent16: the manganese does not repossess. sent17: the manganese is a kind of an utterance.
void -> assump1: Let's assume that the beanie does not rerun sparring.; sent12 & assump1 -> int1: the beanie does not repossess but it is an utterance.; sent5 -> int2: the beanie is aoristic if it does not repossess and it is an utterance.; int1 & int2 -> int3: the beanie is aoristic.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the beanie reruns sparring.; int5 -> int6: something does rerun sparring.; int6 & sent9 -> int7: the warship does not horripilate.; sent2 & sent15 -> int8: that the warship is Yeatsian is not false.; int7 & int8 -> int9: the warship does not horripilate and is Yeatsian.; int9 -> hypothesis;
$hypothesis$ = there is something such that it does not horripilate and is not non-Yeatsian. ; $context$ = sent1: the fact that the beanie is an utterance is not incorrect. sent2: if the fact that the manganese is not biocatalytic is true that the warship is Yeatsian hold. sent3: the pierid does not horripilate. sent4: the fact that the beanie is not considerate hold. sent5: if something that does not repossess is an utterance then it is aoristic. sent6: if something is not a Telosporidia and trundles target then it protests mat. sent7: the beanie is not aoristic. sent8: there exists something such that it does not horripilate. sent9: the warship does not horripilate if there exists something such that it reruns sparring. sent10: if the beanie does not rerun sparring then it is an utterance. sent11: something is Yeatsian. sent12: if the beanie does not rerun sparring it does not repossess and is a kind of an utterance. sent13: the manganese is not Yeatsian. sent14: there is something such that it horripilates and is Yeatsian. sent15: the manganese is not biocatalytic. sent16: the manganese does not repossess. sent17: the manganese is a kind of an utterance. ; $proof$ = 
void -> assump1: Let's assume that the beanie does not rerun sparring.; sent12 & assump1 -> int1: the beanie does not repossess but it is an utterance.; sent5 -> int2: the beanie is aoristic if it does not repossess and it is an utterance.; int1 & int2 -> int3: the beanie is aoristic.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the beanie reruns sparring.; int5 -> int6: something does rerun sparring.; int6 & sent9 -> int7: the warship does not horripilate.; sent2 & sent15 -> int8: that the warship is Yeatsian is not false.; int7 & int8 -> int9: the warship does not horripilate and is Yeatsian.; int9 -> hypothesis; __PROVED__