Erin is young. Quiet people are blue. Rough people are cold. If someone is young and quiet then they are rough. Young people are rough. All cold, young people are kind. If someone is blue then they are rough.
Erin is young.
@0: Erin is young.[(triple1)] @1: Erin is rough.[(((triple1) -> rule4))] @2: Erin is cold.[(((((triple1) -> rule4)) -> rule2))] @3: Erin is kind.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule5))]