the thecodont is not non-disjunct.
sent1: if something is a Fuller it is disjunct. sent2: the floe is not Peruvian and not regretful. sent3: the floe is not a Peruvian. sent4: if a non-disjunct thing is a kind of a Fuller it is regretful. sent5: the entrance is not a jiggered and is not disjunct. sent6: if the floe is Peruvian but not regretful the thecodont is a Fuller. sent7: that the thecodont is a Fuller if the floe is not a kind of a Peruvian and it is not regretful hold.
sent7 & sent2 -> int1: the thecodont is a Fuller.; sent1 -> int2: that the thecodont is disjunct is not false if it is a Fuller.; int1 & int2 -> hypothesis;
that the thecodont is regretful hold.
sent4 -> int3: the thecodont is regretful if it is both not disjunct and a Fuller.;
$hypothesis$ = the thecodont is not non-disjunct. ; $context$ = sent1: if something is a Fuller it is disjunct. sent2: the floe is not Peruvian and not regretful. sent3: the floe is not a Peruvian. sent4: if a non-disjunct thing is a kind of a Fuller it is regretful. sent5: the entrance is not a jiggered and is not disjunct. sent6: if the floe is Peruvian but not regretful the thecodont is a Fuller. sent7: that the thecodont is a Fuller if the floe is not a kind of a Peruvian and it is not regretful hold. ; $proof$ = 
sent7 & sent2 -> int1: the thecodont is a Fuller.; sent1 -> int2: that the thecodont is disjunct is not false if it is a Fuller.; int1 & int2 -> hypothesis; __PROVED__