Bob is round. Charlie is nice. Dave is furry. Fiona is cold. If something is cold and big then it is young. If something is cold then it is big. Young, cold things are furry.
Fiona is not big.
@0: Bob is round.[(triple1)] Charlie is nice.[(triple2)] Dave is furry.[(triple3)] Fiona is cold.[(triple4)] @1: Fiona is big.[(((triple4) -> rule2))] @2: Fiona is young.[(((triple4 ((triple4) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((triple4 ((triple4) -> rule2)) -> rule1) triple4) -> rule3))]