Bob is blue. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Erin is blue. Erin is kind. Erin is quiet. Harry is blue. Harry is quiet. Harry is red. Smart, red things are rough. Red things are smart. If something is quiet then it is smart.
Erin is not smart.