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.
Gary is nice.
@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))]