Charlie is round. Dave is green. Fiona is rough. All rough, cold people are furry. If someone is rough then they are cold. Furry, cold people are red.
Fiona is not rough.
@0: Charlie is round.[(triple1)] Dave is green.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule2))] @2: Fiona is furry.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: Fiona is red.[(((((triple3 ((triple3) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule3))]