Bob is big. Bob is blue. Bob is green. Charlie is big. Charlie is blue. Charlie is green. Charlie is red. Dave is big. Dave is green. Dave is nice. Fiona is big. Fiona is blue. Fiona is nice. Fiona is smart. Fiona is young. If someone is blue then they are big. If someone is young then they are big. Green people are red. All green people are big. All smart, red people are big. If Charlie is blue then Charlie is red.
Fiona is not red.