Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Fiona is big. Fiona is cold. Fiona is kind. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is smart. Gary is young. All cold things are big. Cold, nice things are young. If Bob is young and Bob is big then Bob is kind. All smart things are nice. If Bob is cold and Bob is nice then Bob is smart. If something is kind then it is smart.
Fiona is not nice.