Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is round. Bob is smart. Bob is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is smart. All smart things are young. If Fiona is young and Fiona is green then Fiona is big.
Bob is not young.