Bob is smart. Fiona is nice. Gary is smart. If something is nice then it is white. If something is smart then it is nice. If Gary is red and Gary is smart then Gary is white. All nice, smart things are white. If something is red then it is cold. If Gary is smart then Gary is cold. If something is white then it is rough. If something is white then it is smart.
Bob is nice.