Anne is not kind. Anne is rough. Bob is smart. Bob is white. Bob is not young. Dave is big. Dave is kind. Fiona is kind. Fiona is rough. Fiona is white. If Fiona is big then Fiona is kind. If someone is not smart then they are green. If Dave is green then Dave is not young.
Bob is big.