sequent calculused

adj.

You have drunk enough to derive each conclusion from another true statement, including the unnecessary ones.

Source: Wiktionary