Anne is big. Anne is green. Anne is smart. Anne is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is young. Dave is green. Dave is kind. Dave is quiet. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. If Anne is big then Anne is smart. If something is big then it is young. If something is red then it is green.
Dave is not young.