the fact that both the polity and the equalization happens is false.
sent1: that the Latvian but not the equalization happens is wrong if the restraint occurs. sent2: both the episode and the disappointment happens. sent3: if either the grouping durian does not occur or the restraint does not occur or both the restraint does not occur. sent4: if the overturning unpalatability does not occur then that the polity happens and the equalization occurs is false. sent5: if the overturning unpalatability does not occur the overturning Ormandy happens. sent6: if the recovering does not occur the grouping durian does not occur or the restraint does not occur or both. sent7: the grouping Stockholm occurs. sent8: if that the striking does not occur is not false the fact that the auralness happens but the resistance does not occur is not correct. sent9: if the restraint does not occur the Latvianness and/or the barbarizing dichromacy happens. sent10: the overturning mirid happens. sent11: the fact that the polity occurs is not wrong if the barbarizing dichromacy occurs. sent12: that the Latvian and the equalization occurs is true. sent13: the substantive occurs. sent14: if that the auralness but not the resistance occurs is false then the recovering does not occur. sent15: if the overturning unpalatability happens then the polity occurs. sent16: either the overturning unpalatability occurs or the barbarizing dichromacy occurs or both. sent17: the scaling happens.
sent16 & sent15 & sent11 -> int1: the polity occurs.; sent12 -> int2: the equalization occurs.; int1 & int2 -> hypothesis;
the fact that the polity and the equalization happens is false.
$hypothesis$ = the fact that both the polity and the equalization happens is false. ; $context$ = sent1: that the Latvian but not the equalization happens is wrong if the restraint occurs. sent2: both the episode and the disappointment happens. sent3: if either the grouping durian does not occur or the restraint does not occur or both the restraint does not occur. sent4: if the overturning unpalatability does not occur then that the polity happens and the equalization occurs is false. sent5: if the overturning unpalatability does not occur the overturning Ormandy happens. sent6: if the recovering does not occur the grouping durian does not occur or the restraint does not occur or both. sent7: the grouping Stockholm occurs. sent8: if that the striking does not occur is not false the fact that the auralness happens but the resistance does not occur is not correct. sent9: if the restraint does not occur the Latvianness and/or the barbarizing dichromacy happens. sent10: the overturning mirid happens. sent11: the fact that the polity occurs is not wrong if the barbarizing dichromacy occurs. sent12: that the Latvian and the equalization occurs is true. sent13: the substantive occurs. sent14: if that the auralness but not the resistance occurs is false then the recovering does not occur. sent15: if the overturning unpalatability happens then the polity occurs. sent16: either the overturning unpalatability occurs or the barbarizing dichromacy occurs or both. sent17: the scaling happens. ; $proof$ = 
sent16 & sent15 & sent11 -> int1: the polity occurs.; sent12 -> int2: the equalization occurs.; int1 & int2 -> hypothesis; __DISPROVED__