the chick does not compromise Ball and is intrapulmonary.
sent1: the chick does not compromise Ball but it is intrapulmonary if the rind is not aphanitic. sent2: the fact that the discus is a execration is not wrong. sent3: the discus is a longshot if it is a topside. sent4: the rind is not aphanitic if something that does not dab infuriation is economical. sent5: that the chick is intrapulmonary is true. sent6: the club-head is a kind of a chambray. sent7: if something is a kind of a longshot then the fact that it is economical is true. sent8: the club-head is not intrapulmonary if there is something such that that it is chalybeate is not incorrect. sent9: the fact that something is not chalybeate but it dabs infuriation is not correct if it is a kind of a chambray. sent10: the discus does not dab infuriation if the club-head is a kind of chalybeate thing that is a kind of a chambray. sent11: the fact that the chick is aphanitic is true if it is intrapulmonary. sent12: the club-head is a kind of a chambray if it does dab infuriation. sent13: the fact that the discus is intrapulmonary hold. sent14: that the discus is a topside is not incorrect. sent15: the chick is economical and it is intrapulmonary. sent16: there are economical things. sent17: there is something such that it does not dab infuriation. sent18: the club-head is chalybeate.
sent18 & sent6 -> int1: the club-head is a kind of chalybeate thing that is a chambray.; int1 & sent10 -> int2: that the discus does not dab infuriation is right.; sent7 -> int3: that the discus is economical is right if it is a kind of a longshot.; sent3 & sent14 -> int4: the discus is a kind of a longshot.; int3 & int4 -> int5: the discus is economical.; int2 & int5 -> int6: the discus does not dab infuriation and is economical.; int6 -> int7: something does not dab infuriation but it is economical.; int7 & sent4 -> int8: the rind is not aphanitic.; int8 & sent1 -> hypothesis;
the fact that the chick does not compromise Ball and is not non-intrapulmonary is incorrect.
sent9 -> int9: that the rind is non-chalybeate thing that dabs infuriation is incorrect if the fact that it is a chambray is correct.;
$hypothesis$ = the chick does not compromise Ball and is intrapulmonary. ; $context$ = sent1: the chick does not compromise Ball but it is intrapulmonary if the rind is not aphanitic. sent2: the fact that the discus is a execration is not wrong. sent3: the discus is a longshot if it is a topside. sent4: the rind is not aphanitic if something that does not dab infuriation is economical. sent5: that the chick is intrapulmonary is true. sent6: the club-head is a kind of a chambray. sent7: if something is a kind of a longshot then the fact that it is economical is true. sent8: the club-head is not intrapulmonary if there is something such that that it is chalybeate is not incorrect. sent9: the fact that something is not chalybeate but it dabs infuriation is not correct if it is a kind of a chambray. sent10: the discus does not dab infuriation if the club-head is a kind of chalybeate thing that is a kind of a chambray. sent11: the fact that the chick is aphanitic is true if it is intrapulmonary. sent12: the club-head is a kind of a chambray if it does dab infuriation. sent13: the fact that the discus is intrapulmonary hold. sent14: that the discus is a topside is not incorrect. sent15: the chick is economical and it is intrapulmonary. sent16: there are economical things. sent17: there is something such that it does not dab infuriation. sent18: the club-head is chalybeate. ; $proof$ = 
sent18 & sent6 -> int1: the club-head is a kind of chalybeate thing that is a chambray.; int1 & sent10 -> int2: that the discus does not dab infuriation is right.; sent7 -> int3: that the discus is economical is right if it is a kind of a longshot.; sent3 & sent14 -> int4: the discus is a kind of a longshot.; int3 & int4 -> int5: the discus is economical.; int2 & int5 -> int6: the discus does not dab infuriation and is economical.; int6 -> int7: something does not dab infuriation but it is economical.; int7 & sent4 -> int8: the rind is not aphanitic.; int8 & sent1 -> hypothesis; __PROVED__