Charlie is young. Erin is rough. Fiona is smart. Gary is young. If Erin is rough then Erin is cold. Furry, rough people are nice. If someone is cold then they are furry.
Erin is furry.
@0: Charlie is young.[(triple1)] Erin is rough.[(triple2)] Fiona is smart.[(triple3)] Gary is young.[(triple4)] @1: Erin is cold.[(((triple2) -> rule1))] @2: Erin is furry.[(((((triple2) -> rule1)) -> rule3))] @3: Erin is nice.[(((((((triple2) -> rule1)) -> rule3) triple2) -> rule2))]