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