the airlift happens and the plantarness happens.
sent1: the tongue happens. sent2: if the dominance happens then the airlifting occurs. sent3: the coruscation prevents that the dominance does not occur. sent4: the coruscation occurs. sent5: if the tonguing occurs the plantarness happens.
sent3 & sent4 -> int1: the dominance occurs.; int1 & sent2 -> int2: the airlifting happens.; sent5 & sent1 -> int3: the plantarness happens.; int2 & int3 -> hypothesis;
$hypothesis$ = the airlift happens and the plantarness happens. ; $context$ = sent1: the tongue happens. sent2: if the dominance happens then the airlifting occurs. sent3: the coruscation prevents that the dominance does not occur. sent4: the coruscation occurs. sent5: if the tonguing occurs the plantarness happens. ; $proof$ = 
sent3 & sent4 -> int1: the dominance occurs.; int1 & sent2 -> int2: the airlifting happens.; sent5 & sent1 -> int3: the plantarness happens.; int2 & int3 -> hypothesis; __PROVED__