there is something such that if it is a kind of non-precordial thing that is precancerous it is not raptorial.
sent1: the airdock is raptorial if it is non-precordial thing that is precancerous. sent2: there is something such that if it is both not a plasticizer and multilingual then it is not a GATT. sent3: if the airdock is not precordial and is precancerous then it is not raptorial. sent4: if the jogger is a kind of a cabinetmaker and it is Cenozoic it is not a kind of a eusporangium. sent5: there is something such that if it is both not a anionic and a plasticizer it is a kind of a moo.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of non-precordial thing that is precancerous it is not raptorial. ; $context$ = sent1: the airdock is raptorial if it is non-precordial thing that is precancerous. sent2: there is something such that if it is both not a plasticizer and multilingual then it is not a GATT. sent3: if the airdock is not precordial and is precancerous then it is not raptorial. sent4: if the jogger is a kind of a cabinetmaker and it is Cenozoic it is not a kind of a eusporangium. sent5: there is something such that if it is both not a anionic and a plasticizer it is a kind of a moo. ; $proof$ = 
sent3 -> hypothesis; __PROVED__