Dave is big. Dave is cold. Dave is not green. Dave is smart. Fiona is not big. Fiona is red. Fiona is not white. Gary is big. Gary is green. Gary is red. Gary is not smart. Gary is not white. Harry is green. Harry is kind. Harry is red. If Gary is kind then Gary is big.
Gary is not red.