Anne is quiet. Dave is green. Dave is kind. Dave is quiet. Erin is kind. Erin is nice. Fiona is smart. If Fiona is quiet then Fiona is nice. If something is green then it is quiet. Smart things are big. All quiet things are furry. Nice things are green. All kind things are nice. All furry things are green. All smart things are kind.
Dave is not kind.