Dave is cold. Erin is blue. Erin is cold. Erin is round. Gary is cold. Harry is blue. Harry is kind. Furry, cold people are young. If Erin is cold then Erin is kind. If someone is kind and rough then they are furry. If someone is young then they are furry. Round people are rough. If someone is young then they are furry.
Erin is not young.
@0: Dave is cold.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is round.[(triple4)] Gary is cold.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7)] @1: Erin is kind.[(((triple3) -> rule2))] Erin is rough.[(((triple4) -> rule5))] @2: Erin is furry.[(((((triple3) -> rule2) ((triple4) -> rule5)) -> rule3))] @3: Erin is young.[(((((((triple3) -> rule2) ((triple4) -> rule5)) -> rule3) triple3) -> rule1))]