the fact that the biosystematicsness occurs if that the retailing happens is true is false.
sent1: the Mills is triggered by that the ballisticness occurs. sent2: the occlusiveness occurs. sent3: the retail prevents that the diffidentness does not occur. sent4: that the biosystematicsness occurs is caused by that the diffidentness occurs.
void -> assump1: Let's assume that the retail occurs.; sent3 & assump1 -> int1: the fact that the diffidentness occurs hold.; sent4 & int1 -> int2: the biosystematicsness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the biosystematicsness occurs if that the retailing happens is true is false. ; $context$ = sent1: the Mills is triggered by that the ballisticness occurs. sent2: the occlusiveness occurs. sent3: the retail prevents that the diffidentness does not occur. sent4: that the biosystematicsness occurs is caused by that the diffidentness occurs. ; $proof$ = 
void -> assump1: Let's assume that the retail occurs.; sent3 & assump1 -> int1: the fact that the diffidentness occurs hold.; sent4 & int1 -> int2: the biosystematicsness occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__