Bob is red. Bob is rough. Bob is smart. Erin is cold. Erin is furry. Erin is red. Erin is rough. Fiona is white. Harry is red. Harry is rough. If something is furry and not cold then it is big. If something is cold then it is smart.
Bob is not smart.