the discussion does not occur.
sent1: the investing thunderclap does not occur. sent2: that the starlight occurs is right. sent3: the unloosing psychosurgery happens. sent4: if the fact that the misgiving Holcus occurs and/or the swashing does not occur does not hold the discussion happens. sent5: that the commenting does not occur is prevented by the non-Thracianness. sent6: the investing fatwah does not occur. sent7: that the tabulating actuator does not occur brings about either that the investing socialite happens or that the tabulating jewelry does not occur or both. sent8: the superior happens. sent9: that the discussion does not occur is brought about by that the tabulating jewelry does not occur. sent10: that the unfairness does not occur brings about that the Waterloo occurs and/or the heedfulness does not occur. sent11: either the permissibleness happens or the investing thunderclap occurs or both. sent12: the cacodylicness does not occur if the anemometry occurs and/or the pottery happens. sent13: the evanescence happens if the prospectiveness happens. sent14: the prospectiveness does not occur if the fact that the prospectiveness happens but the capitalization does not occur is incorrect. sent15: if that the investing socialite occurs is correct the discussion does not occur. sent16: the unloosing oracle occurs if the incalculableness happens. sent17: the misgiving Holcus happens if the swash occurs. sent18: that the tabulating actuator occurs is prevented by that the evanescence occurs and/or that the capitalization happens. sent19: the misgiving Holcus does not occur and the investing Peridiniidae does not occur. sent20: if the investing folderal occurs then the Neanderthalness occurs.
void -> assump1: Let's assume that the swashing occurs.; sent17 & assump1 -> int1: the misgiving Holcus occurs.; sent19 -> int2: the misgiving Holcus does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the swashing does not occur.;
that the discussion happens is right.
$hypothesis$ = the discussion does not occur. ; $context$ = sent1: the investing thunderclap does not occur. sent2: that the starlight occurs is right. sent3: the unloosing psychosurgery happens. sent4: if the fact that the misgiving Holcus occurs and/or the swashing does not occur does not hold the discussion happens. sent5: that the commenting does not occur is prevented by the non-Thracianness. sent6: the investing fatwah does not occur. sent7: that the tabulating actuator does not occur brings about either that the investing socialite happens or that the tabulating jewelry does not occur or both. sent8: the superior happens. sent9: that the discussion does not occur is brought about by that the tabulating jewelry does not occur. sent10: that the unfairness does not occur brings about that the Waterloo occurs and/or the heedfulness does not occur. sent11: either the permissibleness happens or the investing thunderclap occurs or both. sent12: the cacodylicness does not occur if the anemometry occurs and/or the pottery happens. sent13: the evanescence happens if the prospectiveness happens. sent14: the prospectiveness does not occur if the fact that the prospectiveness happens but the capitalization does not occur is incorrect. sent15: if that the investing socialite occurs is correct the discussion does not occur. sent16: the unloosing oracle occurs if the incalculableness happens. sent17: the misgiving Holcus happens if the swash occurs. sent18: that the tabulating actuator occurs is prevented by that the evanescence occurs and/or that the capitalization happens. sent19: the misgiving Holcus does not occur and the investing Peridiniidae does not occur. sent20: if the investing folderal occurs then the Neanderthalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the swashing occurs.; sent17 & assump1 -> int1: the misgiving Holcus occurs.; sent19 -> int2: the misgiving Holcus does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the swashing does not occur.; __UNKNOWN__