if the pinning fullerene happens then the miscasting does not occur.
sent1: the hypnotizing humiliation occurs. sent2: that the socioculturalness and the pitching occurs prevents the pinning fullerene. sent3: the socioculturalness but not the pitching happens if the haircut occurs. sent4: that the pinning fullerene happens causes that the miscasting happens. sent5: that the pitching does not occur is triggered by that the haircut happens. sent6: the pitching does not occur. sent7: the banging occurs and the industry occurs. sent8: that the pinning neuropteron does not occur is triggered by that the pinning agave happens but the exclaiming Esaki does not occur. sent9: the exclaiming Buber does not occur. sent10: the majusculeness happens and the hypnotizing humiliation occurs. sent11: that the majusculeness happens but the haircut does not occur prevents that the miscasting does not occur. sent12: that the socioculturalness but not the pitching happens prevents that the pinning fullerene happens. sent13: if the majusculeness happens but the haircut does not occur the miscasting does not occur.
void -> assump2: Let's assume that the haircut happens.; sent3 & assump2 -> int1: the socioculturalness but not the pitching happens.; int1 & sent12 -> int2: the pinning fullerene does not occur.; void -> assump1: Let's assume that the pinning fullerene happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the haircut does not occur.; sent10 -> int5: that the majusculeness happens is not wrong.; int4 & int5 -> int6: the majusculeness occurs and the haircut does not occur.; int6 & sent13 -> int7: the miscasting does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the pinning fullerene happens then the miscasting does not occur. ; $context$ = sent1: the hypnotizing humiliation occurs. sent2: that the socioculturalness and the pitching occurs prevents the pinning fullerene. sent3: the socioculturalness but not the pitching happens if the haircut occurs. sent4: that the pinning fullerene happens causes that the miscasting happens. sent5: that the pitching does not occur is triggered by that the haircut happens. sent6: the pitching does not occur. sent7: the banging occurs and the industry occurs. sent8: that the pinning neuropteron does not occur is triggered by that the pinning agave happens but the exclaiming Esaki does not occur. sent9: the exclaiming Buber does not occur. sent10: the majusculeness happens and the hypnotizing humiliation occurs. sent11: that the majusculeness happens but the haircut does not occur prevents that the miscasting does not occur. sent12: that the socioculturalness but not the pitching happens prevents that the pinning fullerene happens. sent13: if the majusculeness happens but the haircut does not occur the miscasting does not occur. ; $proof$ = 
void -> assump2: Let's assume that the haircut happens.; sent3 & assump2 -> int1: the socioculturalness but not the pitching happens.; int1 & sent12 -> int2: the pinning fullerene does not occur.; void -> assump1: Let's assume that the pinning fullerene happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the haircut does not occur.; sent10 -> int5: that the majusculeness happens is not wrong.; int4 & int5 -> int6: the majusculeness occurs and the haircut does not occur.; int6 & sent13 -> int7: the miscasting does not occur.; [assump1] & int7 -> hypothesis; __PROVED__