the non-tenderness and the hilarness happens if the siding pyxie occurs.
sent1: the fact that either the siding poseuse does not occur or the wideness does not occur or both is not correct. sent2: the plum does not occur or the confutation happens or both. sent3: that either the poundage does not occur or the adding does not occur or both is false if the maglev does not occur. sent4: the athleticness or the pedicuring or both happens. sent5: the squinch occurs. sent6: that the tendering does not occur is brought about by that the siding pyxie but not the synergisticness happens. sent7: the refining hyperpyrexia does not occur but the malfunctioning occurs. sent8: the maglev does not occur. sent9: the poundage is prevented by that either the synergisticness occurs or the antiviral occurs or both. sent10: the ritualism occurs. sent11: the carbocyclicness does not occur. sent12: the fact that the non-municipalness and/or the non-Semiteness happens is wrong if the centigradeness does not occur. sent13: the holloing does not occur and/or the canton happens. sent14: that the wiring does not occur or the siding mower does not occur or both is not right. sent15: not the tangoing but the impeding comeliness happens. sent16: that the siding mower does not occur is caused by that the refining gigolo occurs and/or the refining pickup happens. sent17: the fact that the indignity happens hold. sent18: that the respect does not occur or the Calvary does not occur or both is wrong.
void -> assump2: Let's assume that the synergisticness happens.; assump2 -> int1: the synergisticness occurs and/or the antiviralness happens.; int1 & sent9 -> int2: that the poundage does not occur hold.; int2 -> int3: the fact that the poundage does not occur or the adding does not occur or both is not wrong.; sent3 & sent8 -> int4: the fact that the poundage does not occur and/or the adding does not occur is false.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the synergisticness does not occur.; void -> assump1: Let's assume that that the siding pyxie does not occur is not correct.; int6 & assump1 -> int7: both the siding pyxie and the non-synergisticness happens.; int7 & sent6 -> int8: the tendering does not occur.;
$hypothesis$ = the non-tenderness and the hilarness happens if the siding pyxie occurs. ; $context$ = sent1: the fact that either the siding poseuse does not occur or the wideness does not occur or both is not correct. sent2: the plum does not occur or the confutation happens or both. sent3: that either the poundage does not occur or the adding does not occur or both is false if the maglev does not occur. sent4: the athleticness or the pedicuring or both happens. sent5: the squinch occurs. sent6: that the tendering does not occur is brought about by that the siding pyxie but not the synergisticness happens. sent7: the refining hyperpyrexia does not occur but the malfunctioning occurs. sent8: the maglev does not occur. sent9: the poundage is prevented by that either the synergisticness occurs or the antiviral occurs or both. sent10: the ritualism occurs. sent11: the carbocyclicness does not occur. sent12: the fact that the non-municipalness and/or the non-Semiteness happens is wrong if the centigradeness does not occur. sent13: the holloing does not occur and/or the canton happens. sent14: that the wiring does not occur or the siding mower does not occur or both is not right. sent15: not the tangoing but the impeding comeliness happens. sent16: that the siding mower does not occur is caused by that the refining gigolo occurs and/or the refining pickup happens. sent17: the fact that the indignity happens hold. sent18: that the respect does not occur or the Calvary does not occur or both is wrong. ; $proof$ = 
void -> assump2: Let's assume that the synergisticness happens.; assump2 -> int1: the synergisticness occurs and/or the antiviralness happens.; int1 & sent9 -> int2: that the poundage does not occur hold.; int2 -> int3: the fact that the poundage does not occur or the adding does not occur or both is not wrong.; sent3 & sent8 -> int4: the fact that the poundage does not occur and/or the adding does not occur is false.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the synergisticness does not occur.; void -> assump1: Let's assume that that the siding pyxie does not occur is not correct.; int6 & assump1 -> int7: both the siding pyxie and the non-synergisticness happens.; int7 & sent6 -> int8: the tendering does not occur.; __UNKNOWN__