Erin is big. If Erin is red then Erin is big. Red people are green. All young people are green. Big people are red. If Erin is green then Erin is kind. Green, big people are smart. All kind people are smart. Young, smart people are green.
Erin is young.
@0: Erin is big.[(triple1)] @1: Erin is red.[(((triple1) -> rule4))] @2: Erin is green.[(((((triple1) -> rule4)) -> rule2))] @3: Erin is kind.[(((((((triple1) -> rule4)) -> rule2)) -> rule5))] Erin is smart.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule5)) -> rule7))]