the herpetologist is a martyr.
sent1: the olivine is not a Diplopterygium and/or it does not seep colorlessness if it is not a pest. sent2: something does not sag herpetologist if it is not a Diplopterygium and/or it does not seep colorlessness. sent3: the Angolese is a kind of a Tasman and it sags herpetologist. sent4: something is not a hassock and is not a centipede if it is a kind of a Tasman. sent5: if there exists something such that it is a hassock the fact that the herpetologist is not a martyr and not a hassock is not right. sent6: if the fact that something is not a kind of a martyr and it is not a hassock is not correct then it is a hassock. sent7: the fact that the herpetologist does not martyr is wrong if the Angolese is not a hassock and not a centipede. sent8: if something does not sag herpetologist it is both a Tasman and a hassock.
sent4 -> int1: if the Angolese is a Tasman then it is not a hassock and not a centipede.; sent3 -> int2: the Angolese is a Tasman.; int1 & int2 -> int3: the Angolese is not a hassock and is not a kind of a centipede.; int3 & sent7 -> hypothesis;
the herpetologist is a kind of a hassock.
sent6 -> int4: the herpetologist is a hassock if the fact that it is not a martyr and is not a hassock is not right.; sent8 -> int5: if the olivine does not sag herpetologist it is a kind of a Tasman and is a kind of a hassock.; sent2 -> int6: the olivine does not sag herpetologist if it is not a Diplopterygium and/or it does not seep colorlessness.;
$hypothesis$ = the herpetologist is a martyr. ; $context$ = sent1: the olivine is not a Diplopterygium and/or it does not seep colorlessness if it is not a pest. sent2: something does not sag herpetologist if it is not a Diplopterygium and/or it does not seep colorlessness. sent3: the Angolese is a kind of a Tasman and it sags herpetologist. sent4: something is not a hassock and is not a centipede if it is a kind of a Tasman. sent5: if there exists something such that it is a hassock the fact that the herpetologist is not a martyr and not a hassock is not right. sent6: if the fact that something is not a kind of a martyr and it is not a hassock is not correct then it is a hassock. sent7: the fact that the herpetologist does not martyr is wrong if the Angolese is not a hassock and not a centipede. sent8: if something does not sag herpetologist it is both a Tasman and a hassock. ; $proof$ = 
sent4 -> int1: if the Angolese is a Tasman then it is not a hassock and not a centipede.; sent3 -> int2: the Angolese is a Tasman.; int1 & int2 -> int3: the Angolese is not a hassock and is not a kind of a centipede.; int3 & sent7 -> hypothesis; __PROVED__