Fiona is furry. Fiona is nice. Fiona is quiet. If something is white and furry then it is young. Furry, green things are quiet. If Fiona is rough then Fiona is furry. All nice things are rough. Green things are white. All young, quiet things are nice.
Fiona is green.
@0: Fiona is furry.[(triple1 OR ((((triple2) -> rule4)) -> rule3))] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is rough.[(((triple2) -> rule4))]