there exists something such that if it doctors crushing it is a Dahna.
sent1: the arsenate is not a collaboration if either it doctors crushing or it is a Jat or both.
void -> assump1: Let's assume that the arsenate does doctor crushing.; assump1 -> int1: the arsenate doctors crushing and/or is a Jat.; int1 & sent1 -> int2: the arsenate is not a kind of a collaboration.;
$hypothesis$ = there exists something such that if it doctors crushing it is a Dahna. ; $context$ = sent1: the arsenate is not a collaboration if either it doctors crushing or it is a Jat or both. ; $proof$ = 
void -> assump1: Let's assume that the arsenate does doctor crushing.; assump1 -> int1: the arsenate doctors crushing and/or is a Jat.; int1 & sent1 -> int2: the arsenate is not a kind of a collaboration.; __UNKNOWN__