Anne is green. Anne is round. Bob is furry. Bob is green. Bob is quiet. Bob is red. Dave is green. Dave is smart. Gary is furry. Gary is round. If Dave is smart then Dave is blue. Green people are red. If Bob is smart then Bob is furry.
Anne is smart.