if the diffusing switcheroo occurs then the face does not occur.
sent1: the facing happens if the diffusing switcheroo occurs. sent2: the porphyriticness occurs. sent3: both the pleochroism and the espousing occurs. sent4: that the tribute does not occur is true if the mammalianness does not occur and the exploiting does not occur. sent5: if the devoir occurs then the ligation does not occur. sent6: the facing occurs if both the diffusing switcheroo and the diffusing Taurotragus happens. sent7: the exercising occurs. sent8: if the diffusing Taurotragus does not occur the diffusing switcheroo occurs and the generalness occurs. sent9: the communing happens. sent10: the popularness and the diffusing babu happens. sent11: that the diffusing switcheroo occurs and the diffusing Taurotragus occurs prevents that the face occurs. sent12: the facing does not occur and the diffusing Taurotragus does not occur if the tribute does not occur. sent13: the facing occurs. sent14: the diffusing Taurotragus happens.
void -> assump1: Let's assume that the diffusing switcheroo happens.; assump1 & sent14 -> int1: the diffusing switcheroo happens and the diffusing Taurotragus happens.; sent11 & int1 -> int2: the face does not occur.; [assump1] & int2 -> hypothesis;
the generalness occurs.
$hypothesis$ = if the diffusing switcheroo occurs then the face does not occur. ; $context$ = sent1: the facing happens if the diffusing switcheroo occurs. sent2: the porphyriticness occurs. sent3: both the pleochroism and the espousing occurs. sent4: that the tribute does not occur is true if the mammalianness does not occur and the exploiting does not occur. sent5: if the devoir occurs then the ligation does not occur. sent6: the facing occurs if both the diffusing switcheroo and the diffusing Taurotragus happens. sent7: the exercising occurs. sent8: if the diffusing Taurotragus does not occur the diffusing switcheroo occurs and the generalness occurs. sent9: the communing happens. sent10: the popularness and the diffusing babu happens. sent11: that the diffusing switcheroo occurs and the diffusing Taurotragus occurs prevents that the face occurs. sent12: the facing does not occur and the diffusing Taurotragus does not occur if the tribute does not occur. sent13: the facing occurs. sent14: the diffusing Taurotragus happens. ; $proof$ = 
void -> assump1: Let's assume that the diffusing switcheroo happens.; assump1 & sent14 -> int1: the diffusing switcheroo happens and the diffusing Taurotragus happens.; sent11 & int1 -> int2: the face does not occur.; [assump1] & int2 -> hypothesis; __PROVED__