the gunning occurs and the condoling exurbia does not occur.
sent1: the fact that the condoling trochanter happens hold. sent2: if the bending adrenal occurs then that the Sardinianness occurs and the pedaling happens is incorrect. sent3: the fact that the clearing happens and the finger-roll does not occur does not hold. sent4: the fact that the fact that the nonreversibleness and the non-macrencephalicness happens is not correct if the condoling trochanter does not occur is true. sent5: the fact that the underachievement occurs and the funambulism does not occur does not hold. sent6: the defiantness happens if the condoling trochanter happens. sent7: the bundling occurs. sent8: the fact that the gunning happens and the Proustianness happens is correct. sent9: if the interposing occurs the fact that the ophthalmicness occurs and the distributiveness happens is wrong. sent10: the cheating happens. sent11: the fact that the gunning occurs and the condoling exurbia does not occur does not hold if the defiantness occurs.
sent6 & sent1 -> int1: the defiantness occurs.; sent11 & int1 -> hypothesis;
the fact that both the nonreversibleness and the non-macrencephalicness happens does not hold.
$hypothesis$ = the gunning occurs and the condoling exurbia does not occur. ; $context$ = sent1: the fact that the condoling trochanter happens hold. sent2: if the bending adrenal occurs then that the Sardinianness occurs and the pedaling happens is incorrect. sent3: the fact that the clearing happens and the finger-roll does not occur does not hold. sent4: the fact that the fact that the nonreversibleness and the non-macrencephalicness happens is not correct if the condoling trochanter does not occur is true. sent5: the fact that the underachievement occurs and the funambulism does not occur does not hold. sent6: the defiantness happens if the condoling trochanter happens. sent7: the bundling occurs. sent8: the fact that the gunning happens and the Proustianness happens is correct. sent9: if the interposing occurs the fact that the ophthalmicness occurs and the distributiveness happens is wrong. sent10: the cheating happens. sent11: the fact that the gunning occurs and the condoling exurbia does not occur does not hold if the defiantness occurs. ; $proof$ = 
sent6 & sent1 -> int1: the defiantness occurs.; sent11 & int1 -> hypothesis; __DISPROVED__