Anne is young. Erin is quiet. Gary is young. If someone is quiet then they are young. If someone is smart then they are cold. All cold people are kind.
Erin is young.
@0: Anne is young.[(triple1)] Erin is quiet.[(triple2)] Gary is young.[(triple3)] @1: Erin is young.[(((triple2) -> rule1))]