there exists something such that if it is not a Wei then it is not a one-sixty-fourth but a dustiness.
sent1: the fact that the tribadism is the Chrysochloridae if the tribadism is not a obeche hold. sent2: if the tribadism is a kind of a Wei it is not a one-sixty-fourth and it is a dustiness. sent3: if the tribadism is not a kind of a Wei then it is not a one-sixty-fourth but a dustiness. sent4: there exists something such that if it is Leibnizian it does not accelerate swineherd and is a kind of a volatile.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a Wei then it is not a one-sixty-fourth but a dustiness. ; $context$ = sent1: the fact that the tribadism is the Chrysochloridae if the tribadism is not a obeche hold. sent2: if the tribadism is a kind of a Wei it is not a one-sixty-fourth and it is a dustiness. sent3: if the tribadism is not a kind of a Wei then it is not a one-sixty-fourth but a dustiness. sent4: there exists something such that if it is Leibnizian it does not accelerate swineherd and is a kind of a volatile. ; $proof$ = 
sent3 -> hypothesis; __PROVED__