that the inauspiciousness does not occur and the stomping does not occur is caused by that the causing moss happens.
sent1: the fact that the teeoff occurs is true. sent2: the antiferromagneticness does not occur and the cockfight does not occur. sent3: the nesting Normandie does not occur and the palpebrating does not occur if the unexportableness occurs. sent4: the mayoralness does not occur and the stomp does not occur if the sweetening happens. sent5: the studding commando happens. sent6: the studding flashiness happens. sent7: the nesting adit occurs and the bunco happens. sent8: the clothing happens. sent9: the insuring happens. sent10: the retirement does not occur and the underlying does not occur if the studding jimmy occurs. sent11: the symmetricalness happens. sent12: the mayoralness does not occur. sent13: the sweetening happens. sent14: the non-organismalness and the non-eastness occurs if that the fete occurs is not incorrect. sent15: the opening does not occur if both the armament and the bearing occurs. sent16: that the inauspiciousness does not occur is not false if both the teeoff and the causing moss happens. sent17: that the mayoralness does not occur is not wrong if the sweetening happens.
void -> assump1: Let's assume that the causing moss happens.; sent1 & assump1 -> int1: the teeoff occurs and the causing moss occurs.; int1 & sent16 -> int2: the inauspiciousness does not occur.; sent4 & sent13 -> int3: the mayoralness does not occur and the stomp does not occur.; int3 -> int4: the stomp does not occur.; int2 & int4 -> int5: the inauspiciousness does not occur and the stomp does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the inauspiciousness does not occur and the stomping does not occur is caused by that the causing moss happens. ; $context$ = sent1: the fact that the teeoff occurs is true. sent2: the antiferromagneticness does not occur and the cockfight does not occur. sent3: the nesting Normandie does not occur and the palpebrating does not occur if the unexportableness occurs. sent4: the mayoralness does not occur and the stomp does not occur if the sweetening happens. sent5: the studding commando happens. sent6: the studding flashiness happens. sent7: the nesting adit occurs and the bunco happens. sent8: the clothing happens. sent9: the insuring happens. sent10: the retirement does not occur and the underlying does not occur if the studding jimmy occurs. sent11: the symmetricalness happens. sent12: the mayoralness does not occur. sent13: the sweetening happens. sent14: the non-organismalness and the non-eastness occurs if that the fete occurs is not incorrect. sent15: the opening does not occur if both the armament and the bearing occurs. sent16: that the inauspiciousness does not occur is not false if both the teeoff and the causing moss happens. sent17: that the mayoralness does not occur is not wrong if the sweetening happens. ; $proof$ = 
void -> assump1: Let's assume that the causing moss happens.; sent1 & assump1 -> int1: the teeoff occurs and the causing moss occurs.; int1 & sent16 -> int2: the inauspiciousness does not occur.; sent4 & sent13 -> int3: the mayoralness does not occur and the stomp does not occur.; int3 -> int4: the stomp does not occur.; int2 & int4 -> int5: the inauspiciousness does not occur and the stomp does not occur.; [assump1] & int5 -> hypothesis; __PROVED__