the alpha-blocker galls tax-exempt.
sent1: the alpha-blocker is not a Roundhead if the fact that the chessman is both not a prefix and a doctor is false. sent2: if the survivor is a prefix then the fact that the chessman is a prefix and does doctor is wrong. sent3: there exists nothing that is both not postictal and not non-early. sent4: if something is not a gravel but it is a prefix then the alpha-blocker does not gall tax-exempt. sent5: if the survivor does gall tax-exempt then it is not a doctor and it is a Roundhead. sent6: if that the collards does gravel is incorrect then the bishop is not alkylic. sent7: if the collards is not a kind of a prefix then the fact that it gravels is true. sent8: the bishop does not sound exorcist and it is not alkylic if the collards does not gravel. sent9: that the bishop does not destain viability and is a fiberglass is false. sent10: if the survivor is not a doctor the bishop is a prefix that does gravel. sent11: the survivor prefixes if the collards does gravel. sent12: if something is not a kind of a Roundhead then it does gall tax-exempt. sent13: there exists nothing that does not sound exorcist and is not alkylic. sent14: the survivor does not gall tax-exempt.
void -> assump1: Let's assume that the collards is not a gravel.; sent8 & assump1 -> int1: the bishop does not sound exorcist and it is not alkylic.; sent13 -> int2: that that the bishop does not sound exorcist and it is not alkylic hold is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the collards is a gravel.; int4 & sent11 -> int5: the survivor does prefix.; sent12 -> int6: if the alpha-blocker is not a Roundhead it does gall tax-exempt.;
the alpha-blocker does not gall tax-exempt.
$hypothesis$ = the alpha-blocker galls tax-exempt. ; $context$ = sent1: the alpha-blocker is not a Roundhead if the fact that the chessman is both not a prefix and a doctor is false. sent2: if the survivor is a prefix then the fact that the chessman is a prefix and does doctor is wrong. sent3: there exists nothing that is both not postictal and not non-early. sent4: if something is not a gravel but it is a prefix then the alpha-blocker does not gall tax-exempt. sent5: if the survivor does gall tax-exempt then it is not a doctor and it is a Roundhead. sent6: if that the collards does gravel is incorrect then the bishop is not alkylic. sent7: if the collards is not a kind of a prefix then the fact that it gravels is true. sent8: the bishop does not sound exorcist and it is not alkylic if the collards does not gravel. sent9: that the bishop does not destain viability and is a fiberglass is false. sent10: if the survivor is not a doctor the bishop is a prefix that does gravel. sent11: the survivor prefixes if the collards does gravel. sent12: if something is not a kind of a Roundhead then it does gall tax-exempt. sent13: there exists nothing that does not sound exorcist and is not alkylic. sent14: the survivor does not gall tax-exempt. ; $proof$ = 
void -> assump1: Let's assume that the collards is not a gravel.; sent8 & assump1 -> int1: the bishop does not sound exorcist and it is not alkylic.; sent13 -> int2: that that the bishop does not sound exorcist and it is not alkylic hold is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the collards is a gravel.; int4 & sent11 -> int5: the survivor does prefix.; sent12 -> int6: if the alpha-blocker is not a Roundhead it does gall tax-exempt.; __UNKNOWN__