there are non-aroid and divisible things.
sent1: something is a pueblo but it is not indivisible. sent2: if the bearnaise is intelligible then the fact that it does not eliminate brazier hold. sent3: if the point is not a Echium or it does exclaim grade or both then the bearnaise does not heed. sent4: if the bearnaise is not a pueblo that the flavin is not indivisible is not wrong. sent5: if the bearnaise is not a kind of a bise then that it does not heed and is a pueblo is not right. sent6: if that the clinometer is not a vocalism or it is radiopaque or both is not right the bachelor does answer. sent7: the bearnaise does not eliminate brazier. sent8: if that the clinometer is not a vocalism and/or is not radiopaque is wrong then the bachelor is an answer. sent9: if the fact that the clinometer is not intelligible or it does not exclaim grade or both is not right the point is a vocalism. sent10: if the bachelor answers then the point is not a kind of a Echium and/or exclaims grade. sent11: the clinometer is radiopaque. sent12: there are non-indivisible things. sent13: the clinometer does not eliminate hulking. sent14: that the bachelor does heed is not incorrect. sent15: there exists something such that it is non-aroid and it is indivisible. sent16: the bearnaise does not eliminate brazier and it is not a kind of a bise if it is intelligible. sent17: either the point is a kind of a Echium or it exclaims grade or both. sent18: the flavin is not indivisible. sent19: there is something such that the fact that it does not hypnotize dresser is correct. sent20: if the bearnaise is not a pueblo then the flavin is not aroid and it is not indivisible. sent21: if the fact that the point is not a Echium hold the bearnaise does not heed. sent22: the bearnaise is intelligible. sent23: there exists something such that it is not aroid.
void -> assump1: Let's assume that the bearnaise is a pueblo.; sent16 & sent22 -> int1: the bearnaise does not eliminate brazier and it is not a kind of a bise.; int1 -> int2: the bearnaise is not a bise.; sent5 & int2 -> int3: that the bearnaise does not heed and is a pueblo is wrong.;
$hypothesis$ = there are non-aroid and divisible things. ; $context$ = sent1: something is a pueblo but it is not indivisible. sent2: if the bearnaise is intelligible then the fact that it does not eliminate brazier hold. sent3: if the point is not a Echium or it does exclaim grade or both then the bearnaise does not heed. sent4: if the bearnaise is not a pueblo that the flavin is not indivisible is not wrong. sent5: if the bearnaise is not a kind of a bise then that it does not heed and is a pueblo is not right. sent6: if that the clinometer is not a vocalism or it is radiopaque or both is not right the bachelor does answer. sent7: the bearnaise does not eliminate brazier. sent8: if that the clinometer is not a vocalism and/or is not radiopaque is wrong then the bachelor is an answer. sent9: if the fact that the clinometer is not intelligible or it does not exclaim grade or both is not right the point is a vocalism. sent10: if the bachelor answers then the point is not a kind of a Echium and/or exclaims grade. sent11: the clinometer is radiopaque. sent12: there are non-indivisible things. sent13: the clinometer does not eliminate hulking. sent14: that the bachelor does heed is not incorrect. sent15: there exists something such that it is non-aroid and it is indivisible. sent16: the bearnaise does not eliminate brazier and it is not a kind of a bise if it is intelligible. sent17: either the point is a kind of a Echium or it exclaims grade or both. sent18: the flavin is not indivisible. sent19: there is something such that the fact that it does not hypnotize dresser is correct. sent20: if the bearnaise is not a pueblo then the flavin is not aroid and it is not indivisible. sent21: if the fact that the point is not a Echium hold the bearnaise does not heed. sent22: the bearnaise is intelligible. sent23: there exists something such that it is not aroid. ; $proof$ = 
void -> assump1: Let's assume that the bearnaise is a pueblo.; sent16 & sent22 -> int1: the bearnaise does not eliminate brazier and it is not a kind of a bise.; int1 -> int2: the bearnaise is not a bise.; sent5 & int2 -> int3: that the bearnaise does not heed and is a pueblo is wrong.; __UNKNOWN__