Dave is round. Dave is not smart. Erin is smart. Gary is not big. Gary is not cold. Gary is nice. Gary is red. Gary is round. Harry is nice. Harry is round. Smart things are nice. If something is smart and red then it is round. If Dave is nice and Dave is not big then Dave is not red.
Harry is nice.