Erin is green. Erin is not nice. Erin is young. Fiona is red. Gary is furry. Gary is red. Gary is not white. Gary is not young. Harry is furry. Harry is green. White things are red. If Erin is rough and Erin is green then Erin is red. If something is rough and red then it is furry. All nice things are young. If something is young then it is white. If something is furry and green then it is rough. All rough things are nice. If something is nice then it is green.
Gary is not nice.