Charlie is not big. Charlie is not smart. Dave is not big. Dave is furry. Dave is smart. Dave is white. Fiona is smart. Green things are kind. If Dave is furry and Dave is green then Dave is white. Furry things are white. All furry, white things are rough. If something is green and not big then it is smart. If something is not smart then it is furry.
Charlie is furry.