Erin is red. If someone is red and big then they are cold. If Erin is rough and Erin is smart then Erin is nice. If someone is cold then they are red. Red people are smart. All smart people are big. Red people are nice.
Erin is not big.
@0: Erin is red.[(triple1)] @1: Erin is nice.[(((triple1) -> rule6))] Erin is smart.[(((triple1) -> rule4))] @2: Erin is big.[(((((triple1) -> rule4)) -> rule5))] @3: Erin is cold.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]