Anne is kind. Erin is kind. Kind things are smart. White, big things are blue. If something is red then it is big. All kind things are big. If something is white and big then it is blue. Green things are red. Kind, smart things are green. All blue, smart things are red.
Erin is not green.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] @1: Anne is big.[(((triple1) -> rule4) OR ((((((triple1 ((triple1) -> rule1)) -> rule7)) -> rule6)) -> rule3))] Anne is smart.[(((triple1) -> rule1))] Erin is big.[(((triple2) -> rule4) OR ((((((triple2 ((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule3))] Erin is smart.[(((triple2) -> rule1))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule7))] Erin is green.[(((triple2 ((triple2) -> rule1)) -> rule7))] @3: Anne is red.[(((((triple1 ((triple1) -> rule1)) -> rule7)) -> rule6))] Erin is red.[(((((triple2 ((triple2) -> rule1)) -> rule7)) -> rule6))]