Anne is big. Bob is round. Bob is young. Charlie is furry. Charlie is round. Charlie is young. Fiona is big. If Charlie is young and Charlie is furry then Charlie is round. All young things are furry. Round things are furry. All round things are big. If Fiona is young then Fiona is green. All big things are green.
Fiona is not furry.