Charlie is big. Charlie is red. Charlie is smart. Dave is blue. Dave is green. Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is smart. Harry is big. Harry is round. If Charlie is red and Charlie is cold then Charlie is blue. If someone is big then they are red.
Dave is not blue.