the fez is not a kind of a kinin if the fact that the endothelium does not style endothelium and it is not an oceanfront does not hold.
sent1: the fez is not a kinin if the endothelium is not despotic. sent2: the endothelium is despotic if it is a kind of a kinin. sent3: the endothelium styles Ariocarpus if it is yogistic. sent4: the fez is indigestible. sent5: the fact that the endothelium is cautious hold if the fact that it does not style endothelium and it is not an oceanfront is not correct. sent6: if the bluepoint is not a maternalism and not an oceanfront it sojourns. sent7: the vicinity is a kinin. sent8: the fact that the fez is not despotic hold. sent9: the fez is not an upstage. sent10: that that the PX is not a kinin but it is a dualism is not right hold. sent11: the caribou is not cautious. sent12: the endothelium is not a sherry. sent13: the endothelium is cautious if that it styles endothelium and is not a kind of an oceanfront is not correct. sent14: if the fez does not style endothelium the endothelium is not a kinin. sent15: if the fact that the fez is a kinin and does not style endothelium is not right then the endothelium is not despotic. sent16: the endothelium is yogistic. sent17: if the fact that the endothelium does not style Zeeman is false it is despotic. sent18: the fez is not despotic if the fact that the endothelium does style Ariocarpus and is not a kinin is false. sent19: that the fez does not hoot and spangs omen is not right.
void -> assump1: Let's assume that that the endothelium does not style endothelium and is not an oceanfront is wrong.; sent5 & assump1 -> int1: the endothelium is cautious.; sent3 & sent16 -> int2: the endothelium does style Ariocarpus.; int1 & int2 -> int3: the endothelium is cautious and styles Ariocarpus.;
$hypothesis$ = the fez is not a kind of a kinin if the fact that the endothelium does not style endothelium and it is not an oceanfront does not hold. ; $context$ = sent1: the fez is not a kinin if the endothelium is not despotic. sent2: the endothelium is despotic if it is a kind of a kinin. sent3: the endothelium styles Ariocarpus if it is yogistic. sent4: the fez is indigestible. sent5: the fact that the endothelium is cautious hold if the fact that it does not style endothelium and it is not an oceanfront is not correct. sent6: if the bluepoint is not a maternalism and not an oceanfront it sojourns. sent7: the vicinity is a kinin. sent8: the fact that the fez is not despotic hold. sent9: the fez is not an upstage. sent10: that that the PX is not a kinin but it is a dualism is not right hold. sent11: the caribou is not cautious. sent12: the endothelium is not a sherry. sent13: the endothelium is cautious if that it styles endothelium and is not a kind of an oceanfront is not correct. sent14: if the fez does not style endothelium the endothelium is not a kinin. sent15: if the fact that the fez is a kinin and does not style endothelium is not right then the endothelium is not despotic. sent16: the endothelium is yogistic. sent17: if the fact that the endothelium does not style Zeeman is false it is despotic. sent18: the fez is not despotic if the fact that the endothelium does style Ariocarpus and is not a kinin is false. sent19: that the fez does not hoot and spangs omen is not right. ; $proof$ = 
void -> assump1: Let's assume that that the endothelium does not style endothelium and is not an oceanfront is wrong.; sent5 & assump1 -> int1: the endothelium is cautious.; sent3 & sent16 -> int2: the endothelium does style Ariocarpus.; int1 & int2 -> int3: the endothelium is cautious and styles Ariocarpus.; __UNKNOWN__