Create a rule, titled “Atomic Logic”:

If A is the name of an Atom, then {A} is a variable that can be used in Formulae. If A1 and A2 are different Atoms, then the Formula “{A1} = {A2}” is False. For any expression E, the Formula “Atom(E)” (in prose, “E is an Atom”) is equivalent to “[E = {A1}] || [E = {A2}] || ... || [E = {An}]”, where A1, A2, ..., An are the names of all Atoms. If A1 and A2 are Atoms that have Essences, then the Formula “{A1} ::: {A2}” (in prose, “{A1} is Bonded to {A2}”) is True if the Atoms are Bonded and False if the Atoms are not Bonded.