the generalissimo is an assay if the lame is nonexploratory.
sent1: if the lame is an assay then the fact that the generalissimo is nonexploratory hold. sent2: the bondwoman is an assay. sent3: the fact that the lame is nonexploratory is right if there is something such that it accelerates undertow and it is a kind of an assay. sent4: the lame is an assay if the generalissimo is nonexploratory. sent5: The undertow accelerates lame. sent6: something is nonexploratory and an assay. sent7: something either is not an assay or does not accelerate undertow or both if it is not nonexploratory. sent8: the townsman is nonexploratory. sent9: the lame is an assay if the fact that the generalissimo accelerates undertow is not wrong. sent10: the lame is an assay if there is something such that it accelerates undertow and it is not exploratory. sent11: there is something such that that it is nonexploratory is true. sent12: there is something such that it assays and it is nonexploratory. sent13: if the dampener is not a willow then the fact that either the generalissimo does not quiver ascender or it is a Rockingham or both is incorrect. sent14: there exists something such that it accelerates undertow. sent15: the generalissimo does accelerate undertow if the lame is a kind of an assay. sent16: the lame accelerates undertow. sent17: there is something such that it is a Barbary and it is a milliradian.
void -> assump1: Let's assume that the lame is nonexploratory.; assump1 & sent16 -> int1: the lame is nonexploratory and it accelerates undertow.; int1 -> int2: something is not exploratory and does accelerate undertow.;
the Nan assays.
sent7 -> int3: the lame is not an assay and/or does not accelerate undertow if that it is not nonexploratory hold.;
$hypothesis$ = the generalissimo is an assay if the lame is nonexploratory. ; $context$ = sent1: if the lame is an assay then the fact that the generalissimo is nonexploratory hold. sent2: the bondwoman is an assay. sent3: the fact that the lame is nonexploratory is right if there is something such that it accelerates undertow and it is a kind of an assay. sent4: the lame is an assay if the generalissimo is nonexploratory. sent5: The undertow accelerates lame. sent6: something is nonexploratory and an assay. sent7: something either is not an assay or does not accelerate undertow or both if it is not nonexploratory. sent8: the townsman is nonexploratory. sent9: the lame is an assay if the fact that the generalissimo accelerates undertow is not wrong. sent10: the lame is an assay if there is something such that it accelerates undertow and it is not exploratory. sent11: there is something such that that it is nonexploratory is true. sent12: there is something such that it assays and it is nonexploratory. sent13: if the dampener is not a willow then the fact that either the generalissimo does not quiver ascender or it is a Rockingham or both is incorrect. sent14: there exists something such that it accelerates undertow. sent15: the generalissimo does accelerate undertow if the lame is a kind of an assay. sent16: the lame accelerates undertow. sent17: there is something such that it is a Barbary and it is a milliradian. ; $proof$ = 
void -> assump1: Let's assume that the lame is nonexploratory.; assump1 & sent16 -> int1: the lame is nonexploratory and it accelerates undertow.; int1 -> int2: something is not exploratory and does accelerate undertow.; __UNKNOWN__