Bob is furry. Bob is green. Bob is smart. Dave is big. Dave is furry. Dave is rough. Dave is smart. Dave is white. Fiona is kind. Fiona is white. If Bob is green and Bob is kind then Bob is big. Big people are kind. All green, furry people are big.
Fiona is not big.