Anne is big. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is white. Anne is young. Bob is green. Fiona is big. Fiona is green. Fiona is nice. Fiona is white. If Anne is big and Anne is nice then Anne is furry. If something is white then it is nice. If Fiona is young then Fiona is nice. If Fiona is quiet and Fiona is green then Fiona is white. If Bob is big then Bob is nice. Green, young things are big. If something is nice and young then it is furry. All green things are young.
Bob is not young.