Dave is furry. Dave is nice. Erin is cold. All nice, red things are young. If Dave is nice then Dave is red. All rough things are cold.
Dave is young.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Erin is cold.[(triple3)] @1: Dave is red.[(((triple2) -> rule2))] @2: Dave is young.[(((triple2 ((triple2) -> rule2)) -> rule1))]