Anne is not kind. Erin is red. Gary is not red. If someone is red then they are cold. If Erin is furry and Erin is not green then Erin is young.
Gary is furry.
@0: Anne is not kind.[(triple1)] Erin is red.[(triple2)] Gary is not red.[(triple3)] @1: Erin is cold.[(((triple2) -> rule1))]