that the insurgency does not occur if the cropping occurs does not hold.
sent1: the neglecting skinheads occurs. sent2: that both the cropping and the neglecting skinheads happens yields that the insurgency does not occur.
void -> assump1: Let's assume that the cropping occurs.; assump1 & sent1 -> int1: the crop occurs and the neglecting skinheads occurs.; sent2 & int1 -> int2: the insurgency does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the insurgency does not occur if the cropping occurs does not hold. ; $context$ = sent1: the neglecting skinheads occurs. sent2: that both the cropping and the neglecting skinheads happens yields that the insurgency does not occur. ; $proof$ = 
void -> assump1: Let's assume that the cropping occurs.; assump1 & sent1 -> int1: the crop occurs and the neglecting skinheads occurs.; sent2 & int1 -> int2: the insurgency does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__