Distinguishing Sequences Using SAT -- A Decision-Making Ontology for Analytical