Anne is big. Anne is blue. Anne is quiet. Anne is smart. Charlie is blue. Charlie is green. Dave is green. If someone is big then they are green. All rough, green people are big. If someone is smart then they are blue. All blue, quiet people are big. Green people are smart. If someone is smart and green then they are quiet.
Dave is not green.