Fiona is furry. Fiona is rough. Fiona is young. If something is furry and green then it is young. Rough, nice things are blue. All furry things are nice.
Fiona is not rough.
@0: Fiona is furry.[(triple1)] Fiona is rough.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is nice.[(((triple1) -> rule3))] @2: Fiona is blue.[(((triple2 ((triple1) -> rule3)) -> rule2))]