Fiona is young. If something is young then it is blue. If Fiona is young and Fiona is rough then Fiona is red. If something is young and cold then it is blue. All blue things are rough. All rough, big things are young. Rough, big things are nice. All red things are rough. Blue, red things are big.
Fiona is young.
@0: Fiona is young.[(triple1)] @1: Fiona is blue.[(((triple1) -> rule1))] @2: Fiona is rough.[(((((triple1) -> rule1)) -> rule4))] @3: Fiona is red.[(((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule2))] @4: Fiona is big.[(((((triple1) -> rule1) ((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule8))] @5: Fiona is nice.[(((((((triple1) -> rule1)) -> rule4) ((((triple1) -> rule1) ((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule2)) -> rule8)) -> rule6))]