Anne is big. Anne is nice. Dave is kind. Dave is nice. Dave is rough. Fiona is blue. Fiona is not green. Fiona is kind. Fiona is rough. Fiona is not smart. Gary is not big. Gary is not green. Gary is not kind. Gary is nice. Gary is rough. Gary is smart. If Anne is smart and Anne is kind then Anne is green. If something is rough and not nice then it is kind.
Dave is blue.