the arbitrariness happens.
sent1: if the fact that the adjuration happens and the slinking Riverside happens is false then the slinking Riverside does not occur. sent2: the gravy occurs. sent3: that the shapeliness does not occur but the pooling seatbelt happens is triggered by the non-youngness. sent4: the slinking viscosity does not occur if the falsification but not the marbling DEA happens. sent5: the entrepreneurialness does not occur and the gravy happens if the arbitrativeness does not occur. sent6: the marbling DEA occurs if the gravy occurs. sent7: if the fumigation does not occur and/or the ecotourism does not occur then the youngness does not occur. sent8: if the slinking Riverside does not occur then the ecotourism does not occur. sent9: the nonsuppurativeness and the sleeper happens. sent10: if that the arbitrativeness and the gravy occurs is incorrect the gravy does not occur. sent11: the fact that either the non-entrepreneurialness or the non-arbitrariness or both occurs hold if the gravy does not occur. sent12: the reduplication and/or the falsification happens. sent13: if the telegraphicness does not occur then the fact that the arbitrativeness and the gravy happens is wrong. sent14: either that the reduplication happens or that the slinking viscosity does not occur or both brings about that the piggyback does not occur. sent15: that the slinking viscosity does not occur and/or that the reduplication happens prevents that the arbitrariness occurs. sent16: if the shapeliness does not occur then the telegraphicness does not occur. sent17: that the marbling DEA occurs is not right if the slinking viscosity happens and the reduplication happens. sent18: the slinking viscosity occurs. sent19: if the entrepreneurialness happens then the arbitrariness occurs. sent20: that the entrepreneurialness does not occur is prevented by that the reduplication does not occur or that the falsification occurs or both.
void -> assump1: Let's assume that the reduplication happens.; sent18 & assump1 -> int1: both the slinking viscosity and the reduplication happens.; int1 & sent17 -> int2: the marbling DEA does not occur.; sent6 & sent2 -> int3: the marbling DEA occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the reduplication does not occur.; int5 -> int6: the reduplication does not occur and/or the falsification happens.; int6 & sent20 -> int7: the entrepreneurialness happens.; int7 & sent19 -> hypothesis;
the piggybacking does not occur.
$hypothesis$ = the arbitrariness happens. ; $context$ = sent1: if the fact that the adjuration happens and the slinking Riverside happens is false then the slinking Riverside does not occur. sent2: the gravy occurs. sent3: that the shapeliness does not occur but the pooling seatbelt happens is triggered by the non-youngness. sent4: the slinking viscosity does not occur if the falsification but not the marbling DEA happens. sent5: the entrepreneurialness does not occur and the gravy happens if the arbitrativeness does not occur. sent6: the marbling DEA occurs if the gravy occurs. sent7: if the fumigation does not occur and/or the ecotourism does not occur then the youngness does not occur. sent8: if the slinking Riverside does not occur then the ecotourism does not occur. sent9: the nonsuppurativeness and the sleeper happens. sent10: if that the arbitrativeness and the gravy occurs is incorrect the gravy does not occur. sent11: the fact that either the non-entrepreneurialness or the non-arbitrariness or both occurs hold if the gravy does not occur. sent12: the reduplication and/or the falsification happens. sent13: if the telegraphicness does not occur then the fact that the arbitrativeness and the gravy happens is wrong. sent14: either that the reduplication happens or that the slinking viscosity does not occur or both brings about that the piggyback does not occur. sent15: that the slinking viscosity does not occur and/or that the reduplication happens prevents that the arbitrariness occurs. sent16: if the shapeliness does not occur then the telegraphicness does not occur. sent17: that the marbling DEA occurs is not right if the slinking viscosity happens and the reduplication happens. sent18: the slinking viscosity occurs. sent19: if the entrepreneurialness happens then the arbitrariness occurs. sent20: that the entrepreneurialness does not occur is prevented by that the reduplication does not occur or that the falsification occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the reduplication happens.; sent18 & assump1 -> int1: both the slinking viscosity and the reduplication happens.; int1 & sent17 -> int2: the marbling DEA does not occur.; sent6 & sent2 -> int3: the marbling DEA occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the reduplication does not occur.; int5 -> int6: the reduplication does not occur and/or the falsification happens.; int6 & sent20 -> int7: the entrepreneurialness happens.; int7 & sent19 -> hypothesis; __PROVED__