Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is young. Erin is big. Erin is smart. Harry is blue. Harry is nice. If something is kind then it is red. Red things are smart. All red, smart things are blue. Kind things are big. If something is blue and nice then it is big. Big, smart things are red. If something is young then it is smart. If something is nice then it is big.
Harry is not smart.