Anne is blue. Anne is cold. Anne is nice. Anne is red. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Erin is cold. Erin is green. Erin is quiet. Erin is red. If something is big and blue then it is nice. All nice, green things are quiet. If something is nice then it is quiet.
Dave is nice.