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