context: Erin is not red. Fiona is not white if Gary is kind. Anne is not the grandfather of Gary if Erin is not nice. If Anne is not Gary's grandfather then Gary is kind. If Erin is red then Erin is not nice.