Updated spouse example for new walkthrough; modified symmetry rule Imply -> Equal