context: Erin is not red. Erin is not nice if 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. Fiona is the brother of Erin if Fiona is not white.