the fact that the grazing does not occur if the acidoticness happens is not true.
sent1: the grazing occurs if the acidoticness occurs. sent2: that the vacuolateness does not occur is triggered by that the Arawakanness happens. sent3: that the grazing occurs is prevented by the non-neuralgicness. sent4: the payment happens. sent5: the wresting creche happens. sent6: that the grazing does not occur is prevented by the non-neuralgicness. sent7: if the neuralgicness occurs and the wresting creche happens then the acidoticness does not occur. sent8: the grazing happens.
void -> assump1: Let's assume that the acidoticness happens.; void -> assump2: Let's assume that the neuralgicness occurs.; assump2 & sent5 -> int1: the neuralgicness and the wresting creche happens.; sent7 & int1 -> int2: the acidoticness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the neuralgicness does not occur.; sent3 & int4 -> int5: the grazing does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the grazing does not occur if the acidoticness happens is not true. ; $context$ = sent1: the grazing occurs if the acidoticness occurs. sent2: that the vacuolateness does not occur is triggered by that the Arawakanness happens. sent3: that the grazing occurs is prevented by the non-neuralgicness. sent4: the payment happens. sent5: the wresting creche happens. sent6: that the grazing does not occur is prevented by the non-neuralgicness. sent7: if the neuralgicness occurs and the wresting creche happens then the acidoticness does not occur. sent8: the grazing happens. ; $proof$ = 
void -> assump1: Let's assume that the acidoticness happens.; void -> assump2: Let's assume that the neuralgicness occurs.; assump2 & sent5 -> int1: the neuralgicness and the wresting creche happens.; sent7 & int1 -> int2: the acidoticness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the neuralgicness does not occur.; sent3 & int4 -> int5: the grazing does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__