that if the goal-kick happens then the fact that the Guineanness does not occur is not incorrect does not hold.
sent1: if the non-carbonylness and the non-passionlessness happens then the goal-kick does not occur. sent2: the passionlessness does not occur. sent3: the Guineanness is prevented by that the passionlessness happens. sent4: the Guineanness does not occur if the fact that the carbonyl does not occur and the passionlessness does not occur does not hold. sent5: that the goal-kick does not occur hold if the non-carbonylness and the passionlessness happens. sent6: the bryophyticness does not occur. sent7: that both the non-carbonylness and the passionlessness happens does not hold. sent8: that the carbonyl does not occur and the passionlessness does not occur brings about that the goal-kick occurs. sent9: the goal-kick triggers the Guineanness. sent10: if the antiquarianness does not occur and the overawing methotrexate does not occur the consciousness does not occur. sent11: that the fundraiser does not occur and the arterioscleroticness does not occur is incorrect.
void -> assump2: Let's assume that the fact that the goal-kick occurs hold.; void -> assump1: Let's assume that both the non-carbonylness and the passionateness occurs.; sent1 & assump1 -> int1: the goal-kick does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the non-carbonylness and the passionateness occurs does not hold.; sent4 & int3 -> int4: the Guinean does not occur.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that if the goal-kick happens then the fact that the Guineanness does not occur is not incorrect does not hold. ; $context$ = sent1: if the non-carbonylness and the non-passionlessness happens then the goal-kick does not occur. sent2: the passionlessness does not occur. sent3: the Guineanness is prevented by that the passionlessness happens. sent4: the Guineanness does not occur if the fact that the carbonyl does not occur and the passionlessness does not occur does not hold. sent5: that the goal-kick does not occur hold if the non-carbonylness and the passionlessness happens. sent6: the bryophyticness does not occur. sent7: that both the non-carbonylness and the passionlessness happens does not hold. sent8: that the carbonyl does not occur and the passionlessness does not occur brings about that the goal-kick occurs. sent9: the goal-kick triggers the Guineanness. sent10: if the antiquarianness does not occur and the overawing methotrexate does not occur the consciousness does not occur. sent11: that the fundraiser does not occur and the arterioscleroticness does not occur is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the fact that the goal-kick occurs hold.; void -> assump1: Let's assume that both the non-carbonylness and the passionateness occurs.; sent1 & assump1 -> int1: the goal-kick does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the non-carbonylness and the passionateness occurs does not hold.; sent4 & int3 -> int4: the Guinean does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__