Anne is big. Anne is rough. Anne is white. Dave is big. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. If Dave is white and Dave is rough then Dave is furry. Red things are furry. Red things are furry. All big, rough things are smart. If something is smart and furry then it is rough. If Anne is round then Anne is smart.
Anne is smart.