the heterosexism does not occur.
sent1: if the apianness does not occur the teeoff happens or the juncture happens or both. sent2: the Depression occurs. sent3: the driving does not occur and the tetrametricness happens if the shear happens. sent4: the honing phosphorus happens. sent5: that the ripping does not occur is brought about by that the driving does not occur and the tetrametricness happens. sent6: if the cismontaneness and the rally happens then the honing phosphorus does not occur. sent7: the demonstration does not occur if that the pudendalness does not occur and/or the Depression does not occur is not right. sent8: that that that the pudendalness does not occur or the Depression does not occur or both is not right is correct if the rip does not occur hold. sent9: that the cry and/or the honing phosphorus happens triggers the non-cismontaneness. sent10: the rallying happens and the demonstration occurs if the cismontaneness does not occur. sent11: if the demonstration happens and the Depression occurs then the heterosexism does not occur.
sent4 -> int1: the crying occurs and/or the honing phosphorus happens.; int1 & sent9 -> int2: the cismontaneness does not occur.; int2 & sent10 -> int3: the rally happens and the demonstration occurs.; int3 -> int4: the demonstration happens.; int4 & sent2 -> int5: the demonstration happens and the Depression occurs.; int5 & sent11 -> hypothesis;
the fact that the heterosexism occurs is true.
$hypothesis$ = the heterosexism does not occur. ; $context$ = sent1: if the apianness does not occur the teeoff happens or the juncture happens or both. sent2: the Depression occurs. sent3: the driving does not occur and the tetrametricness happens if the shear happens. sent4: the honing phosphorus happens. sent5: that the ripping does not occur is brought about by that the driving does not occur and the tetrametricness happens. sent6: if the cismontaneness and the rally happens then the honing phosphorus does not occur. sent7: the demonstration does not occur if that the pudendalness does not occur and/or the Depression does not occur is not right. sent8: that that that the pudendalness does not occur or the Depression does not occur or both is not right is correct if the rip does not occur hold. sent9: that the cry and/or the honing phosphorus happens triggers the non-cismontaneness. sent10: the rallying happens and the demonstration occurs if the cismontaneness does not occur. sent11: if the demonstration happens and the Depression occurs then the heterosexism does not occur. ; $proof$ = 
sent4 -> int1: the crying occurs and/or the honing phosphorus happens.; int1 & sent9 -> int2: the cismontaneness does not occur.; int2 & sent10 -> int3: the rally happens and the demonstration occurs.; int3 -> int4: the demonstration happens.; int4 & sent2 -> int5: the demonstration happens and the Depression occurs.; int5 & sent11 -> hypothesis; __PROVED__