Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is white. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. Erin is furry. Erin is round. Erin is smart. If Erin is nice and Erin is furry then Erin is smart. If someone is round then they are red. If someone is nice then they are smart.
Dave is not round.