Bob is big. Bob is green. Bob is kind. Bob is red. Dave is big. Dave is blue. Dave is green. Dave is round. Fiona is blue. Fiona is quiet. Fiona is red. Gary is big. Gary is green. Gary is quiet. Gary is round. If someone is big then they are blue. If someone is green then they are round. If Gary is quiet then Gary is red.
Gary is not green.