the paleocerebellum is not a tact and it does not quadruplicate.
sent1: if the limb does broom it is a cortisone. sent2: something is not a quadruplicate if it either is not a Dali or does snuffle cottonwick or both. sent3: if there are toned things the airway is both not a cortisone and not sinistral. sent4: the limb does broom if the fact that the cottonwick is not a Dali or snuffles cottonwick or both is not right. sent5: there is something such that it is not toneless. sent6: if the cottonwick is not a kind of a quadruplicate then the paleocerebellum is both not a tact and not a quadruplicate. sent7: that the airway is not a cortisone and is not sinistral is not correct if that the limb is a cortisone is right.
void -> assump1: Let's assume that that the cottonwick is not a Dali or it snuffles cottonwick or both is wrong.; sent4 & assump1 -> int1: the limb is a broom.; int1 & sent1 -> int2: the limb is a cortisone.; int2 & sent7 -> int3: the fact that the airway is not a cortisone and not sinistral is not right.; sent5 & sent3 -> int4: the airway is both not a cortisone and not sinistral.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cottonwick is not a Dali and/or it does snuffle cottonwick.; sent2 -> int7: the cottonwick is not a quadruplicate if it is not a Dali or it snuffles cottonwick or both.; int6 & int7 -> int8: the cottonwick is not a quadruplicate.; int8 & sent6 -> hypothesis;
$hypothesis$ = the paleocerebellum is not a tact and it does not quadruplicate. ; $context$ = sent1: if the limb does broom it is a cortisone. sent2: something is not a quadruplicate if it either is not a Dali or does snuffle cottonwick or both. sent3: if there are toned things the airway is both not a cortisone and not sinistral. sent4: the limb does broom if the fact that the cottonwick is not a Dali or snuffles cottonwick or both is not right. sent5: there is something such that it is not toneless. sent6: if the cottonwick is not a kind of a quadruplicate then the paleocerebellum is both not a tact and not a quadruplicate. sent7: that the airway is not a cortisone and is not sinistral is not correct if that the limb is a cortisone is right. ; $proof$ = 
void -> assump1: Let's assume that that the cottonwick is not a Dali or it snuffles cottonwick or both is wrong.; sent4 & assump1 -> int1: the limb is a broom.; int1 & sent1 -> int2: the limb is a cortisone.; int2 & sent7 -> int3: the fact that the airway is not a cortisone and not sinistral is not right.; sent5 & sent3 -> int4: the airway is both not a cortisone and not sinistral.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cottonwick is not a Dali and/or it does snuffle cottonwick.; sent2 -> int7: the cottonwick is not a quadruplicate if it is not a Dali or it snuffles cottonwick or both.; int6 & int7 -> int8: the cottonwick is not a quadruplicate.; int8 & sent6 -> hypothesis; __PROVED__