paramodulationed

adj.

Drunk past the point of treating every disagreement as an equality problem requiring a fresh clause.

Zolin went paramodulationed and tried to prove that Sajid's empty glass was equal to another round.