Anne is quiet. Anne is round. Anne is smart. Dave is cold. Dave is furry. Dave is red. Dave is round. Erin is cold. Erin is furry. Erin is quiet. If Anne is quiet then Anne is green.
Erin is not round.