Dave is round. Erin is cold. Gary is furry. If something is smart and blue then it is kind. All kind, cold things are young. All furry things are cold. Furry, cold things are smart. Kind things are blue. Kind things are furry. If something is smart and furry then it is young. Young, smart things are blue.
Gary is cold.
@0: Dave is round.[(triple1)] Erin is cold.[(triple2)] Gary is furry.[(triple3)] @1: Gary is cold.[(((triple3) -> rule3))] @2: Gary is smart.[(((triple3 ((triple3) -> rule3)) -> rule4))] @3: Gary is young.[(((((triple3 ((triple3) -> rule3)) -> rule4) triple3) -> rule7))] @4: Gary is blue.[(((((((triple3 ((triple3) -> rule3)) -> rule4) triple3) -> rule7) ((triple3 ((triple3) -> rule3)) -> rule4)) -> rule8))] @5: Gary is kind.[(((((triple3 ((triple3) -> rule3)) -> rule4) ((((((triple3 ((triple3) -> rule3)) -> rule4) triple3) -> rule7) ((triple3 ((triple3) -> rule3)) -> rule4)) -> rule8)) -> rule1))]