the metatarsus does not triple and is sentential.
sent1: if the fact that something is not a bite but it is hydrophobic is not correct then it is non-anonymous. sent2: the metatarsus does not demolish. sent3: if something does feather then it is not a linen. sent4: the metatarsus does think stigma. sent5: that something does not bite but it is hydrophobic is false if it does not think stigma. sent6: the metatarsus is not a bite. sent7: if something does not card Rehnquist it is not hydrophobic. sent8: if the cantor is not anonymous then the metatarsus is not a kind of a bite. sent9: the fact that the grandfather is not anonymous is not false. sent10: the metatarsus is both not a bite and not a tripling if the cantor is not anonymous. sent11: the swimsuit does not think stigma. sent12: the pentathlete feathers. sent13: if the pentathlete is not a linen then the cantor is grateful thing that is meager. sent14: the pentathlete is not a kind of a dinginess. sent15: the metatarsus is sentential and it thinks stigma. sent16: if the cantor is anonymous the pentathlete is not a kind of a dinginess and does not card Rehnquist. sent17: if something is not anonymous the fact that it is not a tripling and it is sentential is wrong. sent18: the pentathlete is not a dinginess if the cantor is anonymous.
void -> assump1: Let's assume that the cantor is anonymous.; sent16 & assump1 -> int1: that the pentathlete is not a dinginess and does not card Rehnquist is right.; int1 -> int2: the pentathlete does not card Rehnquist.; sent7 -> int3: the pentathlete is not hydrophobic if the fact that it does not card Rehnquist hold.; int2 & int3 -> int4: that the pentathlete is hydrophobic is false.; sent15 -> int5: the fact that the metatarsus is sentential is not false.;
that that the metatarsus does not triple but it is sentential is right is false.
sent17 -> int6: if the metatarsus is not anonymous the fact that it is not a kind of a tripling and it is sentential is incorrect.; sent1 -> int7: if the fact that the metatarsus is not a bite but hydrophobic is incorrect then it is not anonymous.; sent5 -> int8: if the fact that the metatarsus does not think stigma is correct then the fact that it does not bite and is hydrophobic is not true.; sent3 -> int9: the pentathlete is not a linen if it feathers.; int9 & sent12 -> int10: that the pentathlete is not a kind of a linen is true.; sent13 & int10 -> int11: the cantor is grateful thing that is meager.; int11 -> int12: the cantor is grateful.; int12 -> int13: there is something such that it is not ungrateful.;
$hypothesis$ = the metatarsus does not triple and is sentential. ; $context$ = sent1: if the fact that something is not a bite but it is hydrophobic is not correct then it is non-anonymous. sent2: the metatarsus does not demolish. sent3: if something does feather then it is not a linen. sent4: the metatarsus does think stigma. sent5: that something does not bite but it is hydrophobic is false if it does not think stigma. sent6: the metatarsus is not a bite. sent7: if something does not card Rehnquist it is not hydrophobic. sent8: if the cantor is not anonymous then the metatarsus is not a kind of a bite. sent9: the fact that the grandfather is not anonymous is not false. sent10: the metatarsus is both not a bite and not a tripling if the cantor is not anonymous. sent11: the swimsuit does not think stigma. sent12: the pentathlete feathers. sent13: if the pentathlete is not a linen then the cantor is grateful thing that is meager. sent14: the pentathlete is not a kind of a dinginess. sent15: the metatarsus is sentential and it thinks stigma. sent16: if the cantor is anonymous the pentathlete is not a kind of a dinginess and does not card Rehnquist. sent17: if something is not anonymous the fact that it is not a tripling and it is sentential is wrong. sent18: the pentathlete is not a dinginess if the cantor is anonymous. ; $proof$ = 
void -> assump1: Let's assume that the cantor is anonymous.; sent16 & assump1 -> int1: that the pentathlete is not a dinginess and does not card Rehnquist is right.; int1 -> int2: the pentathlete does not card Rehnquist.; sent7 -> int3: the pentathlete is not hydrophobic if the fact that it does not card Rehnquist hold.; int2 & int3 -> int4: that the pentathlete is hydrophobic is false.; sent15 -> int5: the fact that the metatarsus is sentential is not false.; __UNKNOWN__