Anne is red. Anne is round. Bob is nice. Bob is smart. Bob is white. Dave is blue. Dave is nice. Dave is red. Dave is round. Dave is smart. Erin is round. Furry things are red. If Anne is white and Anne is blue then Anne is red. If something is smart and white then it is furry. White things are smart. All blue things are nice. If Bob is smart then Bob is white. Red things are blue. If Erin is round and Erin is smart then Erin is blue. All nice things are white.
Bob is furry.