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