the fact that the fact that the freighting does not occur and/or the ultrasound does not occur hold does not hold.
sent1: if that the touchdown does not occur is incorrect that the freighting does not occur and/or the ultrasound does not occur is not correct. sent2: the belling does not occur. sent3: both the verdict and the mobile occurs. sent4: the rolling planula happens if the immobileness and the verdict happens. sent5: that the defibrillation does not occur is caused by that both the mobile and the damping Wimbledon happens. sent6: the covert happens. sent7: that the verdict happens is not false. sent8: the fact that the touchdown happens hold if that the damping Wimbledon does not occur is not incorrect. sent9: the supraorbitalness happens. sent10: the iconicness does not occur. sent11: the fact that the ultrasound occurs is true if the touchdown happens. sent12: the fact that both the verdict and the freighting happens is not correct if the mobile does not occur. sent13: the fact that the deception occurs is true. sent14: the freighting does not occur if that the verdict and the freighting occurs is not correct. sent15: if the covert occurs then the defibrillation but not the damping Dickinson happens.
sent3 -> int1: the mobileness happens.; void -> assump1: Let's assume that the damping Wimbledon happens.; int1 & assump1 -> int2: the mobile and the damping Wimbledon happens.; int2 & sent5 -> int3: the defibrillation does not occur.; sent15 & sent6 -> int4: the defibrillation but not the damping Dickinson happens.; int4 -> int5: the defibrillation happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the damping Wimbledon does not occur is correct.; int7 & sent8 -> int8: the touchdown occurs.; int8 & sent1 -> hypothesis;
the rolling planula happens.
$hypothesis$ = the fact that the fact that the freighting does not occur and/or the ultrasound does not occur hold does not hold. ; $context$ = sent1: if that the touchdown does not occur is incorrect that the freighting does not occur and/or the ultrasound does not occur is not correct. sent2: the belling does not occur. sent3: both the verdict and the mobile occurs. sent4: the rolling planula happens if the immobileness and the verdict happens. sent5: that the defibrillation does not occur is caused by that both the mobile and the damping Wimbledon happens. sent6: the covert happens. sent7: that the verdict happens is not false. sent8: the fact that the touchdown happens hold if that the damping Wimbledon does not occur is not incorrect. sent9: the supraorbitalness happens. sent10: the iconicness does not occur. sent11: the fact that the ultrasound occurs is true if the touchdown happens. sent12: the fact that both the verdict and the freighting happens is not correct if the mobile does not occur. sent13: the fact that the deception occurs is true. sent14: the freighting does not occur if that the verdict and the freighting occurs is not correct. sent15: if the covert occurs then the defibrillation but not the damping Dickinson happens. ; $proof$ = 
sent3 -> int1: the mobileness happens.; void -> assump1: Let's assume that the damping Wimbledon happens.; int1 & assump1 -> int2: the mobile and the damping Wimbledon happens.; int2 & sent5 -> int3: the defibrillation does not occur.; sent15 & sent6 -> int4: the defibrillation but not the damping Dickinson happens.; int4 -> int5: the defibrillation happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the damping Wimbledon does not occur is correct.; int7 & sent8 -> int8: the touchdown occurs.; int8 & sent1 -> hypothesis; __PROVED__