if the Thracianness does not occur then not the arthrosporicness but the Tobagonianness happens.
sent1: the restlessness does not occur. sent2: if that the condemnation does not occur and the relinquishment does not occur does not hold then the demur does not occur. sent3: if the basking does not occur the arthrosporicness does not occur. sent4: that the condemnation does not occur and the relinquishment does not occur is wrong if the restlessness does not occur. sent5: the fact that both the etiologicalness and the Tobagonian occurs if the fact that the demurring does not occur is not wrong is not wrong.
void -> assump2: Let's assume that the basking occurs.; void -> assump1: Let's assume that the Thracian does not occur.; sent4 & sent1 -> int1: the fact that the condemnation does not occur and the relinquishment does not occur is not true.; sent2 & int1 -> int2: the demurring does not occur.; sent5 & int2 -> int3: the etiologicalness and the Tobagonian occurs.; int3 -> int4: the Tobagonian occurs.;
$hypothesis$ = if the Thracianness does not occur then not the arthrosporicness but the Tobagonianness happens. ; $context$ = sent1: the restlessness does not occur. sent2: if that the condemnation does not occur and the relinquishment does not occur does not hold then the demur does not occur. sent3: if the basking does not occur the arthrosporicness does not occur. sent4: that the condemnation does not occur and the relinquishment does not occur is wrong if the restlessness does not occur. sent5: the fact that both the etiologicalness and the Tobagonian occurs if the fact that the demurring does not occur is not wrong is not wrong. ; $proof$ = 
void -> assump2: Let's assume that the basking occurs.; void -> assump1: Let's assume that the Thracian does not occur.; sent4 & sent1 -> int1: the fact that the condemnation does not occur and the relinquishment does not occur is not true.; sent2 & int1 -> int2: the demurring does not occur.; sent5 & int2 -> int3: the etiologicalness and the Tobagonian occurs.; int3 -> int4: the Tobagonian occurs.; __UNKNOWN__