Anne is kind. Bob is smart. Fiona is young. If something is kind then it is red. All cold, smart things are kind. If something is nice and rough then it is cold. If something is cold then it is smart. Nice, red things are kind. All nice, smart things are cold. Nice, rough things are red. If something is nice and cold then it is young.
Bob is not young.