the tripe is reverent.
sent1: something that is not desirous is not zenithal but binocular. sent2: the games-master is not a hyena if there is something such that that it is a kind of a hyena that pages micrometer is false. sent3: that the patrician is a hyena and pages micrometer is not correct. sent4: the flotsam is zenithal. sent5: that if the flotsam is not reverent then the fact that the deflagration is zenithal and/or it is not binocular does not hold is correct. sent6: if something is zenithal and/or it is binocular the tripe is reverent. sent7: if that something is zenithal or it is not binocular or both is not true it is magnetic. sent8: if something is not desirous it is not reverent.
sent4 -> int1: either the flotsam is zenithal or it is binocular or both.; int1 -> int2: something is zenithal and/or it is binocular.; int2 & sent6 -> hypothesis;
the deflagration is magnetic.
sent7 -> int3: the deflagration is magnetic if the fact that either it is zenithal or it is not binocular or both does not hold.; sent8 -> int4: if the flotsam is not desirous then it is not reverent.;
$hypothesis$ = the tripe is reverent. ; $context$ = sent1: something that is not desirous is not zenithal but binocular. sent2: the games-master is not a hyena if there is something such that that it is a kind of a hyena that pages micrometer is false. sent3: that the patrician is a hyena and pages micrometer is not correct. sent4: the flotsam is zenithal. sent5: that if the flotsam is not reverent then the fact that the deflagration is zenithal and/or it is not binocular does not hold is correct. sent6: if something is zenithal and/or it is binocular the tripe is reverent. sent7: if that something is zenithal or it is not binocular or both is not true it is magnetic. sent8: if something is not desirous it is not reverent. ; $proof$ = 
sent4 -> int1: either the flotsam is zenithal or it is binocular or both.; int1 -> int2: something is zenithal and/or it is binocular.; int2 & sent6 -> hypothesis; __PROVED__