Anne is big. Anne is green. Anne is red. Anne is young. Bob is big. Bob is green. Bob is nice. Bob is quiet. Fiona is big. Fiona is nice. Gary is quiet. All quiet, nice things are young. If something is quiet then it is nice. If something is quiet and red then it is green. Young things are red. All green, red things are cold. If Bob is young and Bob is not nice then Bob is red.
Gary is not nice.