the fact that not the cohabitation but the opposing walloper happens does not hold.
sent1: the cohabitation does not occur and the hatching does not occur if that the hashing adamance does not occur is not incorrect. sent2: the according Chuvash happens and the preliminary occurs if the fact that the cockfighting does not occur hold. sent3: that both the cohabitation and the opposing walloper happens does not hold if the hatching does not occur. sent4: that the fact that the confederating ferrocyanide occurs and the pairing does not occur hold is not true if the preliminary happens. sent5: that the cockfighting does not occur leads to that the pairing does not occur and the confederating ferrocyanide does not occur. sent6: the moresness does not occur and the stonewalling occurs. sent7: the cockfighting does not occur if the fact that the tolerableness occurs and the according splasher occurs is incorrect. sent8: the fact that the non-moresness and the stonewalling occurs is wrong if the gastrogavage does not occur. sent9: if the opposing walloper does not occur then the hashing unison and the cohabitation occurs. sent10: that the opposing walloper does not occur is true if that not the according administrator but the opposing walloper happens does not hold. sent11: if the pairing does not occur that the fact that not the according administrator but the opposing walloper happens is false is not wrong. sent12: the hatching does not occur if that the gastrogavage happens is not false. sent13: the hatching occurs if the fact that the according Chuvash does not occur and the hatching does not occur is wrong. sent14: the according administrator does not occur if the fact that the confederating ferrocyanide but not the pairing occurs is not true. sent15: that the according Chuvash does not occur and the hatching does not occur is false if the preliminary does not occur. sent16: the according TCP/IP results in that the preliminary does not occur and the hashing adamance happens. sent17: if the strain does not occur that the tolerableness and the according splasher happens is not right. sent18: the stonewalling happens.
void -> assump1: Let's assume that the gastrogavage does not occur.; sent8 & assump1 -> int1: the fact that the fact that both the non-moresness and the stonewalling occurs is false is correct.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the gastrogavage occurs.; int3 & sent12 -> int4: the hatch does not occur.;
the cohabitation does not occur but the opposing walloper happens.
$hypothesis$ = the fact that not the cohabitation but the opposing walloper happens does not hold. ; $context$ = sent1: the cohabitation does not occur and the hatching does not occur if that the hashing adamance does not occur is not incorrect. sent2: the according Chuvash happens and the preliminary occurs if the fact that the cockfighting does not occur hold. sent3: that both the cohabitation and the opposing walloper happens does not hold if the hatching does not occur. sent4: that the fact that the confederating ferrocyanide occurs and the pairing does not occur hold is not true if the preliminary happens. sent5: that the cockfighting does not occur leads to that the pairing does not occur and the confederating ferrocyanide does not occur. sent6: the moresness does not occur and the stonewalling occurs. sent7: the cockfighting does not occur if the fact that the tolerableness occurs and the according splasher occurs is incorrect. sent8: the fact that the non-moresness and the stonewalling occurs is wrong if the gastrogavage does not occur. sent9: if the opposing walloper does not occur then the hashing unison and the cohabitation occurs. sent10: that the opposing walloper does not occur is true if that not the according administrator but the opposing walloper happens does not hold. sent11: if the pairing does not occur that the fact that not the according administrator but the opposing walloper happens is false is not wrong. sent12: the hatching does not occur if that the gastrogavage happens is not false. sent13: the hatching occurs if the fact that the according Chuvash does not occur and the hatching does not occur is wrong. sent14: the according administrator does not occur if the fact that the confederating ferrocyanide but not the pairing occurs is not true. sent15: that the according Chuvash does not occur and the hatching does not occur is false if the preliminary does not occur. sent16: the according TCP/IP results in that the preliminary does not occur and the hashing adamance happens. sent17: if the strain does not occur that the tolerableness and the according splasher happens is not right. sent18: the stonewalling happens. ; $proof$ = 
void -> assump1: Let's assume that the gastrogavage does not occur.; sent8 & assump1 -> int1: the fact that the fact that both the non-moresness and the stonewalling occurs is false is correct.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the gastrogavage occurs.; int3 & sent12 -> int4: the hatch does not occur.; __UNKNOWN__