Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is round. Anne is smart. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is smart. If Anne is cold and Anne is rough then Anne is smart.
Anne is smart.