the sumo happens.
sent1: the fact that both the metastaticness and the hedging buffet happens is not true if that the restoring salinometer does not occur hold. sent2: that the succinicness does not occur and the obtruding does not occur is brought about by that the hedging buffet does not occur. sent3: that both the ELISA and the imbecility occurs does not hold if that the reform does not occur is true. sent4: the hedging buffet does not occur if that the metastaticness happens and the hedging buffet happens does not hold. sent5: the imbecility occurs. sent6: the non-Sovietsness causes that the intestateness does not occur and the dissimilating home does not occur. sent7: if the excrescentness does not occur that the dissimilating home and the Sovietsness occurs is not true. sent8: if the frittering Pastor occurs and the abientness does not occur then the belching does not occur. sent9: the fact that both the non-unpresidentialness and the dissimilating home happens is not true if the imbecility happens. sent10: if the intestateness happens the dissimilating home happens. sent11: the strategicsness does not occur. sent12: the frittering Pastor and the non-abientness happens if the dissimilating Haywood happens. sent13: that the dissimilating DD does not occur and the reform does not occur is caused by the non-retroactiveness. sent14: the Sovietsness happens. sent15: the restoring salinometer does not occur. sent16: that the dissimilating home does not occur is not incorrect if that both the non-unpresidentialness and the dissimilating home occurs does not hold. sent17: that the frittering prednisone happens is caused by that the compiling does not occur. sent18: if that the intestateness does not occur hold the fact that both the untrustworthiness and the sumo happens does not hold. sent19: that the sumo does not occur is prevented by that the Sovietsness occurs but the excrescentness does not occur. sent20: the intestateness happens if the untrustworthiness occurs. sent21: if that the ELISA and the imbecility occurs does not hold the imbecility does not occur. sent22: if the belching does not occur then the thaumatolatry does not occur and/or the dissimilating naumachy does not occur. sent23: the Sovietsness does not occur if the fact that the excrescentness occurs and/or the unpresidentialness happens does not hold. sent24: if the succinicness does not occur and the inhaling does not occur the retroactiveness does not occur. sent25: the inhaling does not occur if the thaumatolatry does not occur and/or the dissimilating naumachy does not occur.
void -> assump1: Let's assume that the untrustworthiness occurs.; sent20 & assump1 -> int1: the intestateness occurs.; int1 & sent10 -> int2: the dissimilating home occurs.; sent9 & sent5 -> int3: that the non-unpresidentialness and the dissimilating home happens is not true.; sent16 & int3 -> int4: the fact that the dissimilating home does not occur is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the untrustworthiness does not occur.;
the fact that the fact that the sumo happens hold does not hold.
$hypothesis$ = the sumo happens. ; $context$ = sent1: the fact that both the metastaticness and the hedging buffet happens is not true if that the restoring salinometer does not occur hold. sent2: that the succinicness does not occur and the obtruding does not occur is brought about by that the hedging buffet does not occur. sent3: that both the ELISA and the imbecility occurs does not hold if that the reform does not occur is true. sent4: the hedging buffet does not occur if that the metastaticness happens and the hedging buffet happens does not hold. sent5: the imbecility occurs. sent6: the non-Sovietsness causes that the intestateness does not occur and the dissimilating home does not occur. sent7: if the excrescentness does not occur that the dissimilating home and the Sovietsness occurs is not true. sent8: if the frittering Pastor occurs and the abientness does not occur then the belching does not occur. sent9: the fact that both the non-unpresidentialness and the dissimilating home happens is not true if the imbecility happens. sent10: if the intestateness happens the dissimilating home happens. sent11: the strategicsness does not occur. sent12: the frittering Pastor and the non-abientness happens if the dissimilating Haywood happens. sent13: that the dissimilating DD does not occur and the reform does not occur is caused by the non-retroactiveness. sent14: the Sovietsness happens. sent15: the restoring salinometer does not occur. sent16: that the dissimilating home does not occur is not incorrect if that both the non-unpresidentialness and the dissimilating home occurs does not hold. sent17: that the frittering prednisone happens is caused by that the compiling does not occur. sent18: if that the intestateness does not occur hold the fact that both the untrustworthiness and the sumo happens does not hold. sent19: that the sumo does not occur is prevented by that the Sovietsness occurs but the excrescentness does not occur. sent20: the intestateness happens if the untrustworthiness occurs. sent21: if that the ELISA and the imbecility occurs does not hold the imbecility does not occur. sent22: if the belching does not occur then the thaumatolatry does not occur and/or the dissimilating naumachy does not occur. sent23: the Sovietsness does not occur if the fact that the excrescentness occurs and/or the unpresidentialness happens does not hold. sent24: if the succinicness does not occur and the inhaling does not occur the retroactiveness does not occur. sent25: the inhaling does not occur if the thaumatolatry does not occur and/or the dissimilating naumachy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the untrustworthiness occurs.; sent20 & assump1 -> int1: the intestateness occurs.; int1 & sent10 -> int2: the dissimilating home occurs.; sent9 & sent5 -> int3: that the non-unpresidentialness and the dissimilating home happens is not true.; sent16 & int3 -> int4: the fact that the dissimilating home does not occur is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the untrustworthiness does not occur.; __UNKNOWN__