the Labourite does exclude golfcart.
sent1: the rasp is a clawed that is Judaic. sent2: if something is a Turk it is high-energy. sent3: if the festoon is high-energy then it is autoimmune. sent4: that the Labourite does exclude golfcart is true if the rasp is a Ra. sent5: the Labourite is a Turk. sent6: if the rasp is a kind of a clawed then it is non-autoimmune. sent7: the festoon is a Turk if it tarnishes tawniness. sent8: the festoon is lacrimatory and is not a clawed. sent9: if something is autoimmune it is a kind of a clawed. sent10: the festoon is bladdery if it prices ropewalker. sent11: the fact that something excludes golfcart and it does tarnish tawniness does not hold if it is not a kind of a Turk. sent12: if the festoon is Judaic the rasp is a Ra. sent13: the fact that the festoon is lacrimatory hold. sent14: the festoon is not a kind of a Turk if the rasp is a kind of a Turk and it is high-energy. sent15: the rasp is a Ra if the festoon does price ropewalker.
void -> assump1: Let's assume that the festoon does tarnish tawniness.; sent7 & assump1 -> int1: that the festoon is a Turk is not false.; sent2 -> int2: if the festoon is a kind of a Turk it is high-energy.; int1 & int2 -> int3: the festoon is not non-high-energy.; int3 & sent3 -> int4: the festoon is autoimmune.; sent9 -> int5: the festoon claws if it is autoimmune.; int4 & int5 -> int6: the festoon claws.; sent8 -> int7: the festoon is not a clawed.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the festoon does not tarnish tawniness.;
that the Labourite does not exclude golfcart is correct.
sent11 -> int10: if the festoon is not a kind of a Turk then the fact that it excludes golfcart and it does tarnish tawniness is not right.; sent1 -> int11: the rasp claws.; sent6 & int11 -> int12: the rasp is not autoimmune.;
$hypothesis$ = the Labourite does exclude golfcart. ; $context$ = sent1: the rasp is a clawed that is Judaic. sent2: if something is a Turk it is high-energy. sent3: if the festoon is high-energy then it is autoimmune. sent4: that the Labourite does exclude golfcart is true if the rasp is a Ra. sent5: the Labourite is a Turk. sent6: if the rasp is a kind of a clawed then it is non-autoimmune. sent7: the festoon is a Turk if it tarnishes tawniness. sent8: the festoon is lacrimatory and is not a clawed. sent9: if something is autoimmune it is a kind of a clawed. sent10: the festoon is bladdery if it prices ropewalker. sent11: the fact that something excludes golfcart and it does tarnish tawniness does not hold if it is not a kind of a Turk. sent12: if the festoon is Judaic the rasp is a Ra. sent13: the fact that the festoon is lacrimatory hold. sent14: the festoon is not a kind of a Turk if the rasp is a kind of a Turk and it is high-energy. sent15: the rasp is a Ra if the festoon does price ropewalker. ; $proof$ = 
void -> assump1: Let's assume that the festoon does tarnish tawniness.; sent7 & assump1 -> int1: that the festoon is a Turk is not false.; sent2 -> int2: if the festoon is a kind of a Turk it is high-energy.; int1 & int2 -> int3: the festoon is not non-high-energy.; int3 & sent3 -> int4: the festoon is autoimmune.; sent9 -> int5: the festoon claws if it is autoimmune.; int4 & int5 -> int6: the festoon claws.; sent8 -> int7: the festoon is not a clawed.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the festoon does not tarnish tawniness.; __UNKNOWN__