if the sphinx rears sphinx but it is not autoradiographic then that the Primus is a dispatcher is right.
sent1: the Primus is a dispatcher if the sphinx is an excise. sent2: if something does weave dastard then it is an excise.
void -> assump1: Let's assume that the sphinx does rear sphinx but it is not autoradiographic.; sent2 -> int1: the sphinx does excise if it does weave dastard.;
$hypothesis$ = if the sphinx rears sphinx but it is not autoradiographic then that the Primus is a dispatcher is right. ; $context$ = sent1: the Primus is a dispatcher if the sphinx is an excise. sent2: if something does weave dastard then it is an excise. ; $proof$ = 
void -> assump1: Let's assume that the sphinx does rear sphinx but it is not autoradiographic.; sent2 -> int1: the sphinx does excise if it does weave dastard.; __UNKNOWN__