that the TELINT occurs if the rhinalness happens is not right.
sent1: that the pervaporation occurs but the irradiating subornation does not occur triggers that the TELINT happens. sent2: the non-rhinalness results in that the anticancerness happens but the discordance does not occur. sent3: the ending does not occur. sent4: if the rhinalness occurs then the visit happens. sent5: the pervaporation occurs and the ending does not occur. sent6: the riveting does not occur and the eating does not occur if the laceration does not occur. sent7: if the race occurs the irradiating swatter happens. sent8: the visit occurs. sent9: that the eating does not occur results in that the italic occurs but the quietening does not occur. sent10: not the TELINT but the ending happens if the quietening does not occur. sent11: the irradiating subornation does not occur and the visit occurs if the rhinalness happens.
void -> assump1: Let's assume that the rhinalness happens.; sent11 & assump1 -> int1: not the irradiating subornation but the visiting occurs.; int1 -> int2: that the irradiating subornation does not occur is correct.; sent5 -> int3: the pervaporation happens.; int2 & int3 -> int4: the pervaporation occurs but the irradiating subornation does not occur.; int4 & sent1 -> int5: the TELINT happens.; [assump1] & int5 -> hypothesis;
the anticancerness happens and the discordance does not occur.
$hypothesis$ = that the TELINT occurs if the rhinalness happens is not right. ; $context$ = sent1: that the pervaporation occurs but the irradiating subornation does not occur triggers that the TELINT happens. sent2: the non-rhinalness results in that the anticancerness happens but the discordance does not occur. sent3: the ending does not occur. sent4: if the rhinalness occurs then the visit happens. sent5: the pervaporation occurs and the ending does not occur. sent6: the riveting does not occur and the eating does not occur if the laceration does not occur. sent7: if the race occurs the irradiating swatter happens. sent8: the visit occurs. sent9: that the eating does not occur results in that the italic occurs but the quietening does not occur. sent10: not the TELINT but the ending happens if the quietening does not occur. sent11: the irradiating subornation does not occur and the visit occurs if the rhinalness happens. ; $proof$ = 
void -> assump1: Let's assume that the rhinalness happens.; sent11 & assump1 -> int1: not the irradiating subornation but the visiting occurs.; int1 -> int2: that the irradiating subornation does not occur is correct.; sent5 -> int3: the pervaporation happens.; int2 & int3 -> int4: the pervaporation occurs but the irradiating subornation does not occur.; int4 & sent1 -> int5: the TELINT happens.; [assump1] & int5 -> hypothesis; __DISPROVED__