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