there is something such that if it lobs deferral or it is residential or both that it is not a praetorship hold.
sent1: something is not a praetorship if it either does lob deferral or is residential or both. sent2: if the forelimb is field-crop then it is not coital. sent3: there is something such that if it is a Lubitsch and/or it is agrobiologic the fact that it is not lymphatic is not incorrect.
sent1 -> int1: if the veld lobs deferral and/or it is residential it is not a praetorship.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it lobs deferral or it is residential or both that it is not a praetorship hold. ; $context$ = sent1: something is not a praetorship if it either does lob deferral or is residential or both. sent2: if the forelimb is field-crop then it is not coital. sent3: there is something such that if it is a Lubitsch and/or it is agrobiologic the fact that it is not lymphatic is not incorrect. ; $proof$ = 
sent1 -> int1: if the veld lobs deferral and/or it is residential it is not a praetorship.; int1 -> hypothesis; __PROVED__