that the spadework does not occur and the Socraticness does not occur does not hold if the campylotropousness does not occur.
sent1: that not the scenting alienation but the defrosting occurs is not right if the blandishment does not occur. sent2: the tastefulness happens. sent3: if the brachycephalic does not occur then that the spadework does not occur and the Socraticness does not occur is not right. sent4: the biogenicness does not occur. sent5: if the fact that the brachycephalicness and/or the non-campylotropousness happens does not hold then the running hoofer does not occur. sent6: the sunrise does not occur. sent7: the fact that the arguing does not occur and the swelling does not occur does not hold if the liberalizing does not occur. sent8: the campylotropousness occurs if the brachycephalicness happens. sent9: the subdividing does not occur if the fact that that the assessment and the fumigation happens does not hold is correct. sent10: the hearts happens if the fact that the scenting oophorectomy occurs is true. sent11: if the damascening happens the scenting alienation happens. sent12: the Socraticness does not occur if that both the Socraticness and the spadework happens is not correct. sent13: the fact that the fact that the Socraticness happens and the spadework occurs is not right if the subdividing does not occur is not incorrect.
void -> assump1: Let's assume that the brachycephalic happens.; sent8 & assump1 -> int1: the fact that the campylotropousness occurs hold.; void -> assump2: Let's assume that the campylotropousness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the brachycephalic does not occur is true.; sent3 & int3 -> int4: that the spadework does not occur and the Socraticness does not occur is false.; [assump2] & int4 -> hypothesis;
the running hoofer does not occur.
$hypothesis$ = that the spadework does not occur and the Socraticness does not occur does not hold if the campylotropousness does not occur. ; $context$ = sent1: that not the scenting alienation but the defrosting occurs is not right if the blandishment does not occur. sent2: the tastefulness happens. sent3: if the brachycephalic does not occur then that the spadework does not occur and the Socraticness does not occur is not right. sent4: the biogenicness does not occur. sent5: if the fact that the brachycephalicness and/or the non-campylotropousness happens does not hold then the running hoofer does not occur. sent6: the sunrise does not occur. sent7: the fact that the arguing does not occur and the swelling does not occur does not hold if the liberalizing does not occur. sent8: the campylotropousness occurs if the brachycephalicness happens. sent9: the subdividing does not occur if the fact that that the assessment and the fumigation happens does not hold is correct. sent10: the hearts happens if the fact that the scenting oophorectomy occurs is true. sent11: if the damascening happens the scenting alienation happens. sent12: the Socraticness does not occur if that both the Socraticness and the spadework happens is not correct. sent13: the fact that the fact that the Socraticness happens and the spadework occurs is not right if the subdividing does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the brachycephalic happens.; sent8 & assump1 -> int1: the fact that the campylotropousness occurs hold.; void -> assump2: Let's assume that the campylotropousness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the brachycephalic does not occur is true.; sent3 & int3 -> int4: that the spadework does not occur and the Socraticness does not occur is false.; [assump2] & int4 -> hypothesis; __PROVED__