Anne is kind. Anne is smart. Anne is white. Anne is young. Erin is kind. Fiona is furry. Fiona is nice. Fiona is young. Gary is furry. Gary is kind. Gary is nice. Gary is white. If Gary is smart then Gary is big. If something is young then it is nice. If something is smart and kind then it is young. All big, kind things are nice. If something is not furry and not big then it is smart. If Anne is white and Anne is not nice then Anne is young.
Fiona is not smart.