that the fact that if the multiplying thiouracil happens then that the fact that the phacoemulsification does not occur and the windward does not occur is true is not right hold does not hold.
sent1: the multiplying thiouracil does not occur if the phacoemulsification does not occur and the windwardness does not occur. sent2: if the clutch does not occur and the grazing does not occur then the asking Castile does not occur.
void -> assump1: Let's assume that the phacoemulsification does not occur and the windward does not occur.; sent1 & assump1 -> int1: the multiplying thiouracil does not occur.; void -> assump2: Let's assume that the multiplying thiouracil happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the phacoemulsification does not occur and the windwardness does not occur is incorrect.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that the fact that if the multiplying thiouracil happens then that the fact that the phacoemulsification does not occur and the windward does not occur is true is not right hold does not hold. ; $context$ = sent1: the multiplying thiouracil does not occur if the phacoemulsification does not occur and the windwardness does not occur. sent2: if the clutch does not occur and the grazing does not occur then the asking Castile does not occur. ; $proof$ = 
void -> assump1: Let's assume that the phacoemulsification does not occur and the windward does not occur.; sent1 & assump1 -> int1: the multiplying thiouracil does not occur.; void -> assump2: Let's assume that the multiplying thiouracil happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the phacoemulsification does not occur and the windwardness does not occur is incorrect.; [assump2] & int3 -> hypothesis; __DISPROVED__