Anne is blue. Bob is big. Bob is blue. Bob is red. Bob is young. Fiona is green. Fiona is red. Fiona is white. Fiona is young. Gary is not blue. Gary is rough. Gary is young. All big, rough things are white. Blue, green things are red. If something is blue and rough then it is big. All blue things are rough. Blue, white things are green. If Anne is big and Anne is white then Anne is rough. If Gary is red then Gary is rough. If something is big and not green then it is blue. If something is big and not green then it is white.
Fiona is not red.