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