that the deck does mark flail and it marks usufruct does not hold.
sent1: that the fact that the firebrat is euphemistic and it is a kind of a unicorn is not correct is not false. sent2: if the hemiparasite is not afraid then the Castor is not a Fregatidae. sent3: if the firebrat does mark Telemann the fact that it is not non-euphemistic and it is not a unicorn is wrong. sent4: the tabard does marshal Tungusic if the tenrec is a Fregatidae. sent5: the murderer is not a kind of a Lordship if the fact that there is something such that that it is not afraid or does not luxuriate or both is not correct hold. sent6: The Telemann does mark firebrat. sent7: if that something does not marshal Tungusic and is uninformative is not right the fact that it marks flail is true. sent8: the tabard does marshal Tungusic if that the tenrec is uninformative thing that is not a Fregatidae is not correct. sent9: the fact that the tenrec is uninformative but it is not a Fregatidae is false if that the Castor is not a Fregatidae hold. sent10: if the fact that the murderer is not a Lordship is true the fact that the deck marks flail and it marks usufruct is false. sent11: if the Castor is not a Fregatidae then that the tenrec is uninformative a Fregatidae is not right. sent12: if the hemiparasite does not luxuriate the Castor is not a Fregatidae. sent13: if the fact that that the firebrat is a kind of euphemistic thing that is not a unicorn is incorrect is correct then the tabard does not marshal Tungusic. sent14: there exists something such that the fact that it is not afraid and/or it does luxuriate is false. sent15: the fellah does not luxuriate. sent16: if that the deck is a Lordship is not incorrect that it does not marshal Tungusic and is uninformative is incorrect. sent17: the firebrat does mark Telemann.
void -> assump1: Let's assume that the hemiparasite is not afraid and/or does not luxuriate.; assump1 & sent2 & sent12 -> int1: the Castor is not a Fregatidae.; int1 & sent9 -> int2: that the tenrec is uninformative and is not a Fregatidae is incorrect.; int2 & sent8 -> int3: the tabard marshals Tungusic.; sent3 & sent17 -> int4: the fact that the firebrat is euphemistic and is not a unicorn is false.; sent13 & int4 -> int5: the tabard does not marshal Tungusic.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the hemiparasite is not afraid and/or it does not luxuriate is not true.; int7 -> int8: there is something such that that either it is unafraid or it does not luxuriate or both is incorrect.; int8 & sent5 -> int9: the murderer is not a Lordship.; int9 & sent10 -> hypothesis;
the deck marks flail and it does mark usufruct.
sent7 -> int10: the deck marks flail if the fact that it does not marshal Tungusic and it is uninformative does not hold.;
$hypothesis$ = that the deck does mark flail and it marks usufruct does not hold. ; $context$ = sent1: that the fact that the firebrat is euphemistic and it is a kind of a unicorn is not correct is not false. sent2: if the hemiparasite is not afraid then the Castor is not a Fregatidae. sent3: if the firebrat does mark Telemann the fact that it is not non-euphemistic and it is not a unicorn is wrong. sent4: the tabard does marshal Tungusic if the tenrec is a Fregatidae. sent5: the murderer is not a kind of a Lordship if the fact that there is something such that that it is not afraid or does not luxuriate or both is not correct hold. sent6: The Telemann does mark firebrat. sent7: if that something does not marshal Tungusic and is uninformative is not right the fact that it marks flail is true. sent8: the tabard does marshal Tungusic if that the tenrec is uninformative thing that is not a Fregatidae is not correct. sent9: the fact that the tenrec is uninformative but it is not a Fregatidae is false if that the Castor is not a Fregatidae hold. sent10: if the fact that the murderer is not a Lordship is true the fact that the deck marks flail and it marks usufruct is false. sent11: if the Castor is not a Fregatidae then that the tenrec is uninformative a Fregatidae is not right. sent12: if the hemiparasite does not luxuriate the Castor is not a Fregatidae. sent13: if the fact that that the firebrat is a kind of euphemistic thing that is not a unicorn is incorrect is correct then the tabard does not marshal Tungusic. sent14: there exists something such that the fact that it is not afraid and/or it does luxuriate is false. sent15: the fellah does not luxuriate. sent16: if that the deck is a Lordship is not incorrect that it does not marshal Tungusic and is uninformative is incorrect. sent17: the firebrat does mark Telemann. ; $proof$ = 
void -> assump1: Let's assume that the hemiparasite is not afraid and/or does not luxuriate.; assump1 & sent2 & sent12 -> int1: the Castor is not a Fregatidae.; int1 & sent9 -> int2: that the tenrec is uninformative and is not a Fregatidae is incorrect.; int2 & sent8 -> int3: the tabard marshals Tungusic.; sent3 & sent17 -> int4: the fact that the firebrat is euphemistic and is not a unicorn is false.; sent13 & int4 -> int5: the tabard does not marshal Tungusic.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the hemiparasite is not afraid and/or it does not luxuriate is not true.; int7 -> int8: there is something such that that either it is unafraid or it does not luxuriate or both is incorrect.; int8 & sent5 -> int9: the murderer is not a Lordship.; int9 & sent10 -> hypothesis; __PROVED__