Bob is big. Bob is green. Bob is quiet. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. All big people are kind. All quiet people are white. If Bob is big then Bob is green.
Bob is not smart.