Erin is cold. If Erin is rough and Erin is blue then Erin is big. If someone is young and rough then they are blue. If Erin is rough and Erin is quiet then Erin is smart. If someone is young then they are rough. All cold people are rough. Rough people are blue.
Erin is cold.
@0: Erin is cold.[(triple1)] @1: Erin is rough.[(((triple1) -> rule5))] @2: Erin is blue.[(((((triple1) -> rule5)) -> rule6))] @3: Erin is big.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule6)) -> rule1))]