the forward occurs.
sent1: that the auxinicness and the non-thermometricness occurs is caused by that the scarring occurs. sent2: not the speaking cigarillo but the bionicsness occurs. sent3: if the autogamy does not occur the scarring does not occur and the perforation does not occur. sent4: the auto-da-fe is prevented by that the speaking cigarillo does not occur and the bionicsness happens. sent5: the Sovietsness does not occur if the putridness does not occur. sent6: the perforation does not occur if the fact that the scarring but not the perinasalness happens is not true. sent7: the perinasalness occurs. sent8: that either the scar does not occur or the perinasalness does not occur or both results in the forward. sent9: the autogamy happens. sent10: that the forwardness does not occur is caused by that the Sovietsness does not occur and the auto-da-fe does not occur. sent11: if not the perforation but the autogamy happens then the fact that the putridness does not occur is true.
void -> assump1: Let's assume that both the scarring and the non-perinasalness happens.; assump1 -> int1: that the perinasalness does not occur is right.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the scarring but not the perinasalness happens is not correct.; int3 & sent6 -> int4: the perforation does not occur.; int4 & sent9 -> int5: not the perforation but the autogamy occurs.; int5 & sent11 -> int6: the putridness does not occur.; int6 & sent5 -> int7: the Sovietsness does not occur.; sent4 & sent2 -> int8: the auto-da-fe does not occur.; int7 & int8 -> int9: the Sovietsness does not occur and the auto-da-fe does not occur.; int9 & sent10 -> hypothesis;
the auxinicness happens and the thermometricness does not occur.
$hypothesis$ = the forward occurs. ; $context$ = sent1: that the auxinicness and the non-thermometricness occurs is caused by that the scarring occurs. sent2: not the speaking cigarillo but the bionicsness occurs. sent3: if the autogamy does not occur the scarring does not occur and the perforation does not occur. sent4: the auto-da-fe is prevented by that the speaking cigarillo does not occur and the bionicsness happens. sent5: the Sovietsness does not occur if the putridness does not occur. sent6: the perforation does not occur if the fact that the scarring but not the perinasalness happens is not true. sent7: the perinasalness occurs. sent8: that either the scar does not occur or the perinasalness does not occur or both results in the forward. sent9: the autogamy happens. sent10: that the forwardness does not occur is caused by that the Sovietsness does not occur and the auto-da-fe does not occur. sent11: if not the perforation but the autogamy happens then the fact that the putridness does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that both the scarring and the non-perinasalness happens.; assump1 -> int1: that the perinasalness does not occur is right.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the scarring but not the perinasalness happens is not correct.; int3 & sent6 -> int4: the perforation does not occur.; int4 & sent9 -> int5: not the perforation but the autogamy occurs.; int5 & sent11 -> int6: the putridness does not occur.; int6 & sent5 -> int7: the Sovietsness does not occur.; sent4 & sent2 -> int8: the auto-da-fe does not occur.; int7 & int8 -> int9: the Sovietsness does not occur and the auto-da-fe does not occur.; int9 & sent10 -> hypothesis; __DISPROVED__