Bob is red. Fiona is white. Gary is big. Cold, white things are smart. If something is cold then it is red. If something is cold and green then it is red. If Fiona is green then Fiona is red. If something is smart then it is rough. If Bob is not rough then Bob is big. If something is green and not red then it is white. If something is big and not white then it is not smart.
Fiona is white.