that the kid is an eon is true.
sent1: if the kid is not an eon then the fact that the pyrochemistry is an eon and does not clangor monolingual is incorrect. sent2: something that does not clangor monolingual does capsule bravo and is not an eon. sent3: the kid is an eon if the pyrochemistry does not capsule bravo. sent4: if the fact that the kid does capsule bravo and is not an eon is wrong the sum clangors monolingual. sent5: there exists something such that the fact that it does not attitudinize and is a vamp is not correct. sent6: if the fact that the kid capsules bravo but it does not clangor monolingual is not correct the pyrochemistry is an eon. sent7: there is something such that it does not attitudinize and it does not vamp. sent8: if the fact that the pyrochemistry does capsule bravo but it does not clangor monolingual does not hold the kid is a kind of an eon. sent9: there is something such that that it does not attitudinize and does not vamp does not hold. sent10: that if that the sum does not capsule bravo is not incorrect then the fact that the pyrochemistry does capsule bravo but it does not clangor monolingual is not correct hold. sent11: if there is something such that that it does not attitudinize and it is not a kind of a vamp does not hold the sum does not capsule bravo. sent12: there is something such that that it does not capsule bravo and it is not a kind of an eon is not right. sent13: the kid capsules bravo if that the pyrochemistry is an eon but it does not clangor monolingual does not hold. sent14: something does not clangor monolingual if that it clangor monolingual and it capsules mocking is not correct. sent15: if there exists something such that it vamps then the sum does not capsule bravo.
sent9 & sent11 -> int1: the sum does not capsule bravo.; sent10 & int1 -> int2: the fact that the pyrochemistry capsules bravo and does not clangor monolingual is not correct.; sent8 & int2 -> hypothesis;
the kid is not a kind of an eon.
sent2 -> int3: if the kid does not clangor monolingual then it capsules bravo and is not an eon.; sent14 -> int4: the fact that the kid does not clangor monolingual is not wrong if the fact that that it does clangor monolingual and capsules mocking is correct is not true.;
$hypothesis$ = that the kid is an eon is true. ; $context$ = sent1: if the kid is not an eon then the fact that the pyrochemistry is an eon and does not clangor monolingual is incorrect. sent2: something that does not clangor monolingual does capsule bravo and is not an eon. sent3: the kid is an eon if the pyrochemistry does not capsule bravo. sent4: if the fact that the kid does capsule bravo and is not an eon is wrong the sum clangors monolingual. sent5: there exists something such that the fact that it does not attitudinize and is a vamp is not correct. sent6: if the fact that the kid capsules bravo but it does not clangor monolingual is not correct the pyrochemistry is an eon. sent7: there is something such that it does not attitudinize and it does not vamp. sent8: if the fact that the pyrochemistry does capsule bravo but it does not clangor monolingual does not hold the kid is a kind of an eon. sent9: there is something such that that it does not attitudinize and does not vamp does not hold. sent10: that if that the sum does not capsule bravo is not incorrect then the fact that the pyrochemistry does capsule bravo but it does not clangor monolingual is not correct hold. sent11: if there is something such that that it does not attitudinize and it is not a kind of a vamp does not hold the sum does not capsule bravo. sent12: there is something such that that it does not capsule bravo and it is not a kind of an eon is not right. sent13: the kid capsules bravo if that the pyrochemistry is an eon but it does not clangor monolingual does not hold. sent14: something does not clangor monolingual if that it clangor monolingual and it capsules mocking is not correct. sent15: if there exists something such that it vamps then the sum does not capsule bravo. ; $proof$ = 
sent9 & sent11 -> int1: the sum does not capsule bravo.; sent10 & int1 -> int2: the fact that the pyrochemistry capsules bravo and does not clangor monolingual is not correct.; sent8 & int2 -> hypothesis; __PROVED__