the dipolarness does not occur if that the authorship does not occur is false.
sent1: that the diving credence does not occur hold if the fact that the villain does not occur and the mushroom does not occur does not hold. sent2: the dipolarness occurs if the fact that the authorship happens is right. sent3: the oscillation does not occur and the verticalness does not occur if the douche happens. sent4: if the tooling occurs then that the villain does not occur and the mushrooming does not occur is not correct. sent5: if the fact that the dipolarness occurs is not wrong then the authorship occurs. sent6: the douche and the chair happens if the diving credence does not occur. sent7: the authorship occurs or the dipolarness happens or both if the oscillation does not occur. sent8: the jogging does not occur. sent9: the diving billow happens. sent10: the oscillation does not occur if the uncharacteristicness occurs. sent11: the authorship does not occur if the dipolarness happens.
void -> assump2: Let's assume that the dipolarness happens.; sent11 & assump2 -> int1: the authorship does not occur.; void -> assump1: Let's assume that the authorship happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the dipolarness does not occur.; [assump1] & int3 -> hypothesis;
the mutilation occurs.
$hypothesis$ = the dipolarness does not occur if that the authorship does not occur is false. ; $context$ = sent1: that the diving credence does not occur hold if the fact that the villain does not occur and the mushroom does not occur does not hold. sent2: the dipolarness occurs if the fact that the authorship happens is right. sent3: the oscillation does not occur and the verticalness does not occur if the douche happens. sent4: if the tooling occurs then that the villain does not occur and the mushrooming does not occur is not correct. sent5: if the fact that the dipolarness occurs is not wrong then the authorship occurs. sent6: the douche and the chair happens if the diving credence does not occur. sent7: the authorship occurs or the dipolarness happens or both if the oscillation does not occur. sent8: the jogging does not occur. sent9: the diving billow happens. sent10: the oscillation does not occur if the uncharacteristicness occurs. sent11: the authorship does not occur if the dipolarness happens. ; $proof$ = 
void -> assump2: Let's assume that the dipolarness happens.; sent11 & assump2 -> int1: the authorship does not occur.; void -> assump1: Let's assume that the authorship happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the dipolarness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__