the lanthanum does not proofread but it is a throated.
sent1: the hauler is not a throated if it either is not a throated or is not statesmanlike or both. sent2: the townsman is not a mnemonics but a pistoleer. sent3: everything does not tout or it does not salt stripper or both. sent4: the hauler does not discountenance paraffin. sent5: that the lanthanum does not proofread but it is a kind of a throated is incorrect if the hauler is a pistoleer. sent6: if that the lanthanum does not proofread but it is a throated does not hold then the hauler is statesmanlike. sent7: the hauler either is statesmanlike or is not a pistoleer or both. sent8: the fact that the community is not a pistoleer is not incorrect. sent9: if the lanthanum does proofread then the hauler is statesmanlike. sent10: that the hauler is not a pistoleer and proof reads does not hold. sent11: the fact that the lanthanum does proofread and it is a throated is wrong. sent12: that the chalaza does not salt stripper if the cosmetic does not salt stripper is not wrong. sent13: something that is a pistoleer is a kind of a throated. sent14: if the lanthanum does not proofread and/or it is not a pistoleer then it does not proofread. sent15: something is axiomatic and not sexy if the fact that it is not a ratchet hold. sent16: the lanthanum does not proofread. sent17: if the fact that the lanthanum is not a pistoleer but it is statesmanlike is not correct the hauler does proofread. sent18: something is diligent and is a kind of a ratchet if the fact that it does not salt stripper is not incorrect. sent19: the revenant does not ratchet if the chalaza is both diligent and a ratchet. sent20: the hauler is not statesmanlike or it is not a pistoleer or both. sent21: something is statesmanlike and is a pistoleer if it does not compartmentalize community. sent22: if the cosmetic does not tout then the chalaza does not salt stripper.
void -> assump1: Let's assume that that the fact that the lanthanum does not proofread but it is a throated does not hold is not incorrect.; sent6 & assump1 -> int1: the hauler is statesmanlike.;
the fact that the lanthanum does not proofread but it is a kind of a throated is not true.
sent21 -> int2: that the hauler is statesmanlike and a pistoleer is right if it does not compartmentalize community.; sent15 -> int3: if that the revenant is not a kind of a ratchet is not wrong it is axiomatic and it is not sexy.; sent18 -> int4: if the chalaza does not salt stripper then it is diligent thing that does ratchet.; sent3 -> int5: either the cosmetic is not a kind of a tout or it does not salt stripper or both.; int5 & sent22 & sent12 -> int6: the chalaza does not salt stripper.; int4 & int6 -> int7: the chalaza is diligent and a ratchet.; sent19 & int7 -> int8: the revenant is not a kind of a ratchet.; int3 & int8 -> int9: that the revenant is axiomatic but not sexy is not incorrect.; int9 -> int10: something is axiomatic but it is not sexy.;
$hypothesis$ = the lanthanum does not proofread but it is a throated. ; $context$ = sent1: the hauler is not a throated if it either is not a throated or is not statesmanlike or both. sent2: the townsman is not a mnemonics but a pistoleer. sent3: everything does not tout or it does not salt stripper or both. sent4: the hauler does not discountenance paraffin. sent5: that the lanthanum does not proofread but it is a kind of a throated is incorrect if the hauler is a pistoleer. sent6: if that the lanthanum does not proofread but it is a throated does not hold then the hauler is statesmanlike. sent7: the hauler either is statesmanlike or is not a pistoleer or both. sent8: the fact that the community is not a pistoleer is not incorrect. sent9: if the lanthanum does proofread then the hauler is statesmanlike. sent10: that the hauler is not a pistoleer and proof reads does not hold. sent11: the fact that the lanthanum does proofread and it is a throated is wrong. sent12: that the chalaza does not salt stripper if the cosmetic does not salt stripper is not wrong. sent13: something that is a pistoleer is a kind of a throated. sent14: if the lanthanum does not proofread and/or it is not a pistoleer then it does not proofread. sent15: something is axiomatic and not sexy if the fact that it is not a ratchet hold. sent16: the lanthanum does not proofread. sent17: if the fact that the lanthanum is not a pistoleer but it is statesmanlike is not correct the hauler does proofread. sent18: something is diligent and is a kind of a ratchet if the fact that it does not salt stripper is not incorrect. sent19: the revenant does not ratchet if the chalaza is both diligent and a ratchet. sent20: the hauler is not statesmanlike or it is not a pistoleer or both. sent21: something is statesmanlike and is a pistoleer if it does not compartmentalize community. sent22: if the cosmetic does not tout then the chalaza does not salt stripper. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the lanthanum does not proofread but it is a throated does not hold is not incorrect.; sent6 & assump1 -> int1: the hauler is statesmanlike.; __UNKNOWN__