Anne is red. Anne is smart. Charlie is cold. Charlie is red. Charlie is smart. Dave is furry. Gary is furry. If someone is rough and furry then they are red. If Dave is cold then Dave is red. If Anne is big and Anne is round then Anne is furry. If someone is red and furry then they are round. If Dave is smart then Dave is red. All smart people are big.
Anne is big.