Fiona is smart. Gary is rough. Harry is big. If something is smart then it is red. White things are big. If Gary is white then Gary is smart. Red, rough things are white. All rough things are young. All young, rough things are big. If something is round then it is smart. Big things are round.
Fiona is not smart.