if the fact that the furloughing needlework happens is wrong then the hunching occurs and/or the boycott does not occur.
sent1: if that the sprucing happens and/or the court occurs is false the fall does not occur. sent2: the change-up occurs if the commitment occurs. sent3: the boycott occurs. sent4: the boycott happens if the fact that the change-up occurs and the commitment occurs is not correct. sent5: if the tunneling Canidae occurs then that the furloughing needlework happens is not false. sent6: the boycott does not occur if the fact that that both the change-up and the commitment occurs is right is incorrect. sent7: if the hunch happens then the boycotting happens. sent8: if that either the tunneling Canidae does not occur or the furloughing needlework does not occur or both is not true the operating does not occur. sent9: if the fall does not occur the fact that the tunneling caveat and the furloughing prospectus happens is incorrect. sent10: that the change-up happens and the commitment occurs is not true if the tunneling Canidae does not occur. sent11: the furloughing prospectus does not occur if that the fact that both the tunneling caveat and the furloughing prospectus happens is correct is not right. sent12: the hunch and the masterstroke happens if the furloughing prospectus does not occur.
void -> assump1: Let's assume that the tunneling Canidae occurs.; sent5 & assump1 -> int1: the furloughing needlework occurs.; void -> assump2: Let's assume that the fact that the furloughing needlework does not occur is correct.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tunneling Canidae does not occur.; sent10 & int3 -> int4: the fact that both the change-up and the commitment happens is not correct.; sent6 & int4 -> int5: the boycott does not occur.; int5 -> int6: either the hunching happens or the boycott does not occur or both.; [assump2] & int6 -> hypothesis;
the operating does not occur.
$hypothesis$ = if the fact that the furloughing needlework happens is wrong then the hunching occurs and/or the boycott does not occur. ; $context$ = sent1: if that the sprucing happens and/or the court occurs is false the fall does not occur. sent2: the change-up occurs if the commitment occurs. sent3: the boycott occurs. sent4: the boycott happens if the fact that the change-up occurs and the commitment occurs is not correct. sent5: if the tunneling Canidae occurs then that the furloughing needlework happens is not false. sent6: the boycott does not occur if the fact that that both the change-up and the commitment occurs is right is incorrect. sent7: if the hunch happens then the boycotting happens. sent8: if that either the tunneling Canidae does not occur or the furloughing needlework does not occur or both is not true the operating does not occur. sent9: if the fall does not occur the fact that the tunneling caveat and the furloughing prospectus happens is incorrect. sent10: that the change-up happens and the commitment occurs is not true if the tunneling Canidae does not occur. sent11: the furloughing prospectus does not occur if that the fact that both the tunneling caveat and the furloughing prospectus happens is correct is not right. sent12: the hunch and the masterstroke happens if the furloughing prospectus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tunneling Canidae occurs.; sent5 & assump1 -> int1: the furloughing needlework occurs.; void -> assump2: Let's assume that the fact that the furloughing needlework does not occur is correct.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tunneling Canidae does not occur.; sent10 & int3 -> int4: the fact that both the change-up and the commitment happens is not correct.; sent6 & int4 -> int5: the boycott does not occur.; int5 -> int6: either the hunching happens or the boycott does not occur or both.; [assump2] & int6 -> hypothesis; __PROVED__