the fact that the hungriness happens and the emaciating does not occur if that the ableism occurs is true is not correct.
sent1: the angioplasty does not occur if the fact that both the non-horaryness and the angioplasty occurs is not right. sent2: if both the horariness and the piaffe occurs then the ableism does not occur. sent3: both the horariness and the stumbling occurs. sent4: if the piaffe does not occur the hungriness but not the emaciating occurs.
void -> assump2: Let's assume that the ableism happens.; sent3 -> int1: the horariness occurs.; void -> assump1: Let's assume that the piaffe happens.; int1 & assump1 -> int2: the horariness and the piaffe occurs.; sent2 & int2 -> int3: the ableism does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the piaffe does not occur.; sent4 & int5 -> int6: the hungriness happens and the emaciating does not occur.; [assump2] & int6 -> hypothesis;
the angioplasty does not occur.
$hypothesis$ = the fact that the hungriness happens and the emaciating does not occur if that the ableism occurs is true is not correct. ; $context$ = sent1: the angioplasty does not occur if the fact that both the non-horaryness and the angioplasty occurs is not right. sent2: if both the horariness and the piaffe occurs then the ableism does not occur. sent3: both the horariness and the stumbling occurs. sent4: if the piaffe does not occur the hungriness but not the emaciating occurs. ; $proof$ = 
void -> assump2: Let's assume that the ableism happens.; sent3 -> int1: the horariness occurs.; void -> assump1: Let's assume that the piaffe happens.; int1 & assump1 -> int2: the horariness and the piaffe occurs.; sent2 & int2 -> int3: the ableism does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the piaffe does not occur.; sent4 & int5 -> int6: the hungriness happens and the emaciating does not occur.; [assump2] & int6 -> hypothesis; __DISPROVED__