Fiona is big. Fiona is rough. Fiona is white. All white things are smart. Green, rough things are white.
Fiona is not rough.
@0: Fiona is big.[(triple1)] Fiona is rough.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule1))]