the playing occurs but the abandoning coreid does not occur.
sent1: that the playing occurs and the abandoning coreid occurs is not right. sent2: that the upholding but not the failure happens is incorrect. sent3: the abandoning lessor occurs and the westness happens. sent4: that both the phagocyticness and the wash occurs results in that the upstreamness does not occur. sent5: the abandoning coreid does not occur. sent6: the phagocyticness and the upstreamness occurs. sent7: the fact that the climb happens and the ichthyolatry does not occur is not true. sent8: if the fact that the upstreamness does not occur hold then the playing happens and the abandoning coreid does not occur. sent9: the phagocyticness does not occur if the playing and the abandoning coreid happens. sent10: if the playing happens but the abandoning coreid does not occur then the fact that the phagocyticness does not occur is not incorrect. sent11: the upstreamness occurs.
void -> assump1: Let's assume that the playing but not the abandoning coreid happens.; sent10 & assump1 -> int1: the phagocyticness does not occur.; sent6 -> int2: the phagocyticness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the playing but not the abandoning coreid happens.
$hypothesis$ = the playing occurs but the abandoning coreid does not occur. ; $context$ = sent1: that the playing occurs and the abandoning coreid occurs is not right. sent2: that the upholding but not the failure happens is incorrect. sent3: the abandoning lessor occurs and the westness happens. sent4: that both the phagocyticness and the wash occurs results in that the upstreamness does not occur. sent5: the abandoning coreid does not occur. sent6: the phagocyticness and the upstreamness occurs. sent7: the fact that the climb happens and the ichthyolatry does not occur is not true. sent8: if the fact that the upstreamness does not occur hold then the playing happens and the abandoning coreid does not occur. sent9: the phagocyticness does not occur if the playing and the abandoning coreid happens. sent10: if the playing happens but the abandoning coreid does not occur then the fact that the phagocyticness does not occur is not incorrect. sent11: the upstreamness occurs. ; $proof$ = 
void -> assump1: Let's assume that the playing but not the abandoning coreid happens.; sent10 & assump1 -> int1: the phagocyticness does not occur.; sent6 -> int2: the phagocyticness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__