Charlie is cold. Erin is kind. Gary is young. Kind things are rough. Young, cold things are rough. If Charlie is kind then Charlie is cold. Young things are furry. Young, cold things are furry. Kind, rough things are cold. Blue things are rough. If Charlie is furry and Charlie is kind then Charlie is young.
Gary is not rough.
@0: Charlie is cold.[(triple1)] Erin is kind.[(triple2)] Gary is young.[(triple3)] @1: Erin is rough.[(((triple2) -> rule1))] Gary is furry.[(((triple3) -> rule4))] @2: Erin is cold.[(((triple2 ((triple2) -> rule1)) -> rule6))]