that the countenance is both not a asparagine and a Veratrum does not hold.
sent1: if the otterhound is a qoph the waterfowl is not a qoph but it does get. sent2: if the foothill is not a topmast the fact that it is not a concourse and/or it is unacquisitive is false. sent3: the fact that the protamine is not a kind of an exponential and is a rurality is not true. sent4: the foothill is not a kind of a topmast. sent5: that the countenance is a asparagine and a Veratrum does not hold if it is a rurality. sent6: something is not a kind of a qoph. sent7: if the protamine is an iceberg the countenance is a rurality. sent8: if something is both not a qoph and a get then the protamine is an iceberg. sent9: if something is a get it is not a kind of a qoph and it is a concourse. sent10: the countenance is not unacquisitive if there exists something such that it is unacquisitive or it is not a rurality or both. sent11: something that is not unacquisitive but a concourse does bandage. sent12: the otterhound is not a kind of a rurality if the fact that the protamine is both not exponential and a rurality is not right. sent13: the waterfowl is not a topmast if there is something such that the fact that it summarizes Cabombaceae and it does not accrue is false. sent14: if there is something such that it is not a bandage then either the foothill is not a kind of a concourse or it is unacquisitive or both. sent15: the fact that the countenance is a asparagine and it is a Veratrum is not right. sent16: if the foothill is not a kind of a qoph and is a concourse the countenance is a concourse. sent17: that something is not a asparagine but it is a Veratrum is not right if it is a rurality. sent18: there exists something such that the fact that it does summarize Cabombaceae and does not accrue is not correct.
void -> assump1: Let's assume that the caprifig is not a bandage.; assump1 -> int1: there is something such that it is not a bandage.; int1 & sent14 -> int2: the foothill is not a concourse or unacquisitive or both.; sent2 & sent4 -> int3: the fact that the foothill is not a concourse or it is unacquisitive or both is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the caprifig is a bandage.; sent17 -> int6: the fact that that the countenance is not a kind of a asparagine and is a Veratrum does not hold is true if it is a rurality.;
the countenance is not a asparagine and is a Veratrum.
sent11 -> int7: the countenance is a bandage if it is not unacquisitive and is a concourse.; sent12 & sent3 -> int8: the otterhound is not a kind of a rurality.; int8 -> int9: the otterhound is either not unacquisitive or not a rurality or both.; int9 -> int10: there exists something such that it is not unacquisitive or is not a kind of a rurality or both.; int10 & sent10 -> int11: the countenance is not unacquisitive.; sent9 -> int12: the foothill is not a qoph but it is a concourse if it is a get.; sent18 & sent13 -> int13: the waterfowl is not a topmast.; int13 -> int14: there is something such that it is not a topmast.;
$hypothesis$ = that the countenance is both not a asparagine and a Veratrum does not hold. ; $context$ = sent1: if the otterhound is a qoph the waterfowl is not a qoph but it does get. sent2: if the foothill is not a topmast the fact that it is not a concourse and/or it is unacquisitive is false. sent3: the fact that the protamine is not a kind of an exponential and is a rurality is not true. sent4: the foothill is not a kind of a topmast. sent5: that the countenance is a asparagine and a Veratrum does not hold if it is a rurality. sent6: something is not a kind of a qoph. sent7: if the protamine is an iceberg the countenance is a rurality. sent8: if something is both not a qoph and a get then the protamine is an iceberg. sent9: if something is a get it is not a kind of a qoph and it is a concourse. sent10: the countenance is not unacquisitive if there exists something such that it is unacquisitive or it is not a rurality or both. sent11: something that is not unacquisitive but a concourse does bandage. sent12: the otterhound is not a kind of a rurality if the fact that the protamine is both not exponential and a rurality is not right. sent13: the waterfowl is not a topmast if there is something such that the fact that it summarizes Cabombaceae and it does not accrue is false. sent14: if there is something such that it is not a bandage then either the foothill is not a kind of a concourse or it is unacquisitive or both. sent15: the fact that the countenance is a asparagine and it is a Veratrum is not right. sent16: if the foothill is not a kind of a qoph and is a concourse the countenance is a concourse. sent17: that something is not a asparagine but it is a Veratrum is not right if it is a rurality. sent18: there exists something such that the fact that it does summarize Cabombaceae and does not accrue is not correct. ; $proof$ = 
void -> assump1: Let's assume that the caprifig is not a bandage.; assump1 -> int1: there is something such that it is not a bandage.; int1 & sent14 -> int2: the foothill is not a concourse or unacquisitive or both.; sent2 & sent4 -> int3: the fact that the foothill is not a concourse or it is unacquisitive or both is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the caprifig is a bandage.; sent17 -> int6: the fact that that the countenance is not a kind of a asparagine and is a Veratrum does not hold is true if it is a rurality.; __UNKNOWN__