Bob is blue. Bob is smart. Fiona is furry. Gary is blue. Gary is kind. Gary is red. Harry is blue. Harry is kind. Harry is quiet. Harry is red. Quiet things are smart. If something is kind and quiet then it is red. If something is smart then it is blue. If something is quiet then it is smart. Kind things are red. All red things are rough. If something is furry then it is kind. If something is rough and red then it is smart.
Fiona is not smart.