the meeting happens and the opposing emerald occurs.
sent1: that the confederating thumbnail does not occur yields that the cholelithotomy happens. sent2: the coronary occurs if the alliterating does not occur. sent3: that the sensitiveness happens is not wrong if the opposing violinist does not occur. sent4: the apologeticsness does not occur. sent5: that that the fastball does not occur and/or the orchestration occurs is not true is not false. sent6: the hive happens if the costalness does not occur. sent7: the fact that the orchestration does not occur hold. sent8: the opposing twenty-eight happens. sent9: if the fact that the saunter occurs is correct the fact that the shoot does not occur and the details does not occur is not true. sent10: the oneiricness does not occur if the nonwashableness happens. sent11: the hashing Amaethon occurs if the fact that the uppercaseness occurs hold. sent12: that the traveling occurs and the elective happens is caused by that the quickie does not occur. sent13: the unreceptiveness does not occur or the fruition occurs or both. sent14: if the fact that the apologeticsness does not occur is correct the Bend occurs. sent15: the opposing emerald happens and the Bend occurs if the apologeticsness does not occur. sent16: if the fastball occurs then the uppercaseness occurs. sent17: the oneiricness does not occur if the fact that both the outwardness and the washableness occurs does not hold. sent18: the fact that the pressing does not occur but the miscalculation occurs is not true. sent19: the confederating installment and the devastation occurs. sent20: the petty does not occur if the opposing spitz occurs. sent21: that the meeting happens is triggered by the non-oneiricness. sent22: that the gliding does not occur and the opposing plural does not occur is not correct if the opposing clubhouse happens. sent23: that the outwardness and the washableness happens is not correct if the hashing Amaethon occurs. sent24: if the trade occurs then the fact that the fact that both the insensitiveness and the rustlessness happens is not wrong is incorrect. sent25: the hint does not occur. sent26: the confederating contentedness happens if the floweriness happens.
void -> assump1: Let's assume that the fastball does not occur.; assump1 -> int1: the fastball does not occur or the orchestration occurs or both.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fastball occurs.; int3 & sent16 -> int4: the uppercaseness happens.; int4 & sent11 -> int5: the hashing Amaethon happens.; int5 & sent23 -> int6: the fact that both the non-inwardness and the washableness happens is not correct.; int6 & sent17 -> int7: the fact that the oneiricness does not occur is right.; int7 & sent21 -> int8: the meeting happens.; sent15 & sent4 -> int9: the opposing emerald and the Bend occurs.; int9 -> int10: the opposing emerald occurs.; int8 & int10 -> hypothesis;
the fact that the meeting and the opposing emerald occurs is wrong.
 -> hypothesis;
$hypothesis$ = the meeting happens and the opposing emerald occurs. ; $context$ = sent1: that the confederating thumbnail does not occur yields that the cholelithotomy happens. sent2: the coronary occurs if the alliterating does not occur. sent3: that the sensitiveness happens is not wrong if the opposing violinist does not occur. sent4: the apologeticsness does not occur. sent5: that that the fastball does not occur and/or the orchestration occurs is not true is not false. sent6: the hive happens if the costalness does not occur. sent7: the fact that the orchestration does not occur hold. sent8: the opposing twenty-eight happens. sent9: if the fact that the saunter occurs is correct the fact that the shoot does not occur and the details does not occur is not true. sent10: the oneiricness does not occur if the nonwashableness happens. sent11: the hashing Amaethon occurs if the fact that the uppercaseness occurs hold. sent12: that the traveling occurs and the elective happens is caused by that the quickie does not occur. sent13: the unreceptiveness does not occur or the fruition occurs or both. sent14: if the fact that the apologeticsness does not occur is correct the Bend occurs. sent15: the opposing emerald happens and the Bend occurs if the apologeticsness does not occur. sent16: if the fastball occurs then the uppercaseness occurs. sent17: the oneiricness does not occur if the fact that both the outwardness and the washableness occurs does not hold. sent18: the fact that the pressing does not occur but the miscalculation occurs is not true. sent19: the confederating installment and the devastation occurs. sent20: the petty does not occur if the opposing spitz occurs. sent21: that the meeting happens is triggered by the non-oneiricness. sent22: that the gliding does not occur and the opposing plural does not occur is not correct if the opposing clubhouse happens. sent23: that the outwardness and the washableness happens is not correct if the hashing Amaethon occurs. sent24: if the trade occurs then the fact that the fact that both the insensitiveness and the rustlessness happens is not wrong is incorrect. sent25: the hint does not occur. sent26: the confederating contentedness happens if the floweriness happens. ; $proof$ = 
void -> assump1: Let's assume that the fastball does not occur.; assump1 -> int1: the fastball does not occur or the orchestration occurs or both.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fastball occurs.; int3 & sent16 -> int4: the uppercaseness happens.; int4 & sent11 -> int5: the hashing Amaethon happens.; int5 & sent23 -> int6: the fact that both the non-inwardness and the washableness happens is not correct.; int6 & sent17 -> int7: the fact that the oneiricness does not occur is right.; int7 & sent21 -> int8: the meeting happens.; sent15 & sent4 -> int9: the opposing emerald and the Bend occurs.; int9 -> int10: the opposing emerald occurs.; int8 & int10 -> hypothesis; __PROVED__