Anne is rough. Bob is not smart. Charlie is smart. Fiona is kind. Fiona is red. Fiona is rough. Fiona is white. All smart, nice people are rough. If someone is red and not nice then they are big. If Charlie is rough then Charlie is big. If Anne is rough and Anne is white then Anne is red. If someone is rough then they are white. Kind people are smart. All big people are kind. If Fiona is kind and Fiona is not smart then Fiona is rough. If Anne is not rough and Anne is not big then Anne is not nice.
Fiona is not rough.