Anne is big. Anne is red. Anne is white. Fiona is blue. Fiona is furry. Fiona is kind. Gary is young. Harry is furry. Harry is white. Harry is young. All red, kind things are young. White things are red. All young, blue things are big. If something is furry then it is big. All big, blue things are young. Young, furry things are red. If Gary is white and Gary is blue then Gary is red. If Fiona is white and Fiona is kind then Fiona is young.
Gary is not red.