context: Erin is not red. If Fiona is not white then Fiona is not Erin's brother. 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 not white if Gary is kind. Erin is nice if Erin is red.