the monoculture does not occur and the joke occurs if the re-creation does not occur.
sent1: the sideshow happens. sent2: the fact that the photochemicalness occurs and the falsifying occurs is not true if the antiadrenergicness does not occur. sent3: if the updating pyxie does not occur the dropkicking zoning occurs. sent4: the fact that the sideshow happens and the stopover does not occur does not hold if the crying does not occur. sent5: that the harangue happens and the dropkicking zoning occurs is triggered by that the updating pyxie does not occur. sent6: the fact that the monsoon does not occur is true. sent7: the updating pyxie does not occur if the monsoon does not occur. sent8: if the dissimulating does not occur then the sideshow but not the stopover occurs. sent9: the joking occurs if the harangue occurs. sent10: the anachronism occurs if the corroding does not occur. sent11: the Sufi does not occur if the lockstep does not occur. sent12: that the monoculture does not occur and the joking occurs is caused by that the re-creation occurs. sent13: if the dissimulating occurs but the re-creation does not occur then the monoculture does not occur.
void -> assump1: Let's assume that the dissimulating does not occur.; sent8 & assump1 -> int1: the sideshow but not the stopover happens.; void -> assump2: Let's assume that the re-creation does not occur.; sent7 & sent6 -> int2: the updating pyxie does not occur.; sent5 & int2 -> int3: both the harangue and the dropkicking zoning happens.; int3 -> int4: the harangue occurs.; sent9 & int4 -> int5: the joke happens.;
$hypothesis$ = the monoculture does not occur and the joke occurs if the re-creation does not occur. ; $context$ = sent1: the sideshow happens. sent2: the fact that the photochemicalness occurs and the falsifying occurs is not true if the antiadrenergicness does not occur. sent3: if the updating pyxie does not occur the dropkicking zoning occurs. sent4: the fact that the sideshow happens and the stopover does not occur does not hold if the crying does not occur. sent5: that the harangue happens and the dropkicking zoning occurs is triggered by that the updating pyxie does not occur. sent6: the fact that the monsoon does not occur is true. sent7: the updating pyxie does not occur if the monsoon does not occur. sent8: if the dissimulating does not occur then the sideshow but not the stopover occurs. sent9: the joking occurs if the harangue occurs. sent10: the anachronism occurs if the corroding does not occur. sent11: the Sufi does not occur if the lockstep does not occur. sent12: that the monoculture does not occur and the joking occurs is caused by that the re-creation occurs. sent13: if the dissimulating occurs but the re-creation does not occur then the monoculture does not occur. ; $proof$ = 
void -> assump1: Let's assume that the dissimulating does not occur.; sent8 & assump1 -> int1: the sideshow but not the stopover happens.; void -> assump2: Let's assume that the re-creation does not occur.; sent7 & sent6 -> int2: the updating pyxie does not occur.; sent5 & int2 -> int3: both the harangue and the dropkicking zoning happens.; int3 -> int4: the harangue occurs.; sent9 & int4 -> int5: the joke happens.; __UNKNOWN__