Bob is big. Bob is red. Bob is smart. Bob is white. Fiona is smart. Fiona is white. Harry is kind. Rough, big things are white. All red things are kind. If something is white and rough then it is red. Rough, white things are smart. If something is rough then it is white. If Fiona is white and Fiona is smart then Fiona is rough.
Bob is not white.