the de-iodination is both not a yoke and a nitrazepam.
sent1: if something that is a numbat is not a lattice then that the de-iodination is not a kind of a yoke hold. sent2: if that something does not stratify Urey and is not a kind of a nitrazepam is not right it is a Sabbatarian. sent3: the de-iodination is a kind of a nitrazepam that does stratify Urey. sent4: something is both a numbat and not a lattice. sent5: if the saprobe is allopathic or not a busybody or both then it does not tailor.
sent4 & sent1 -> int1: the de-iodination is not a yoke.; sent3 -> int2: the de-iodination is a kind of a nitrazepam.; int1 & int2 -> hypothesis;
the outskirts is Sabbatarian and does insert antipyretic.
sent2 -> int3: if that the outskirts does not stratify Urey and is not a nitrazepam is not right that it is not a Sabbatarian is not right.;
$hypothesis$ = the de-iodination is both not a yoke and a nitrazepam. ; $context$ = sent1: if something that is a numbat is not a lattice then that the de-iodination is not a kind of a yoke hold. sent2: if that something does not stratify Urey and is not a kind of a nitrazepam is not right it is a Sabbatarian. sent3: the de-iodination is a kind of a nitrazepam that does stratify Urey. sent4: something is both a numbat and not a lattice. sent5: if the saprobe is allopathic or not a busybody or both then it does not tailor. ; $proof$ = 
sent4 & sent1 -> int1: the de-iodination is not a yoke.; sent3 -> int2: the de-iodination is a kind of a nitrazepam.; int1 & int2 -> hypothesis; __PROVED__