Fiona is red. Fiona is white. Harry is white. Red, white things are smart. All smart things are rough. All rough, quiet things are green.
Fiona is not green.
@0: Fiona is red.[(triple1)] Fiona is white.[(triple2)] Harry is white.[(triple3)] @1: Fiona is smart.[(((triple1 triple2) -> rule1))] @2: Fiona is rough.[(((((triple1 triple2) -> rule1)) -> rule2))]