Bob is red. Charlie is smart. Fiona is smart. Gary is furry. All blue, white things are rough. White, red things are big. If something is white and smart then it is red. All blue things are smart. Blue, rough things are furry. If something is blue then it is red.
Fiona is not smart.
@0: Bob is red.[(triple1)] Charlie is smart.[(triple2)] Fiona is smart.[(triple3)] Gary is furry.[(triple4)]