Erin is big. Erin is cold. Erin is red. Red people are young. If Erin is big then Erin is white. If someone is young and cold then they are blue. If someone is young and white then they are blue. Blue people are smart. If someone is big and smart then they are blue.
Erin is cold.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is red.[(triple3)] @1: Erin is white.[(((triple1) -> rule2))] Erin is young.[(((triple3) -> rule1))] @2: Erin is blue.[(((((triple3) -> rule1) triple2) -> rule3) OR ((((triple3) -> rule1) ((triple1) -> rule2)) -> rule4))] @3: Erin is smart.[(((((((triple3) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple3) -> rule1) ((triple1) -> rule2)) -> rule4)) -> rule5))]