Set the value of each symbol to True and False and see which combinations result in a world model that matches our knowledge

Combine known rules and facts to produce new rules and facts

Use modus ponens to find conclusions if premises are known