Erin is red. All blue things are smart. All smart, blue things are white. If something is green then it is kind. All red things are round. All blue things are green. If something is smart then it is kind. White things are round. If Erin is red then Erin is blue.
Erin is not green.
@0: Erin is red.[(triple1)] @1: Erin is blue.[(((triple1) -> rule8))] Erin is round.[(((triple1) -> rule4) OR ((((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule2)) -> rule7))] @2: Erin is green.[(((((triple1) -> rule8)) -> rule5))] Erin is smart.[(((((triple1) -> rule8)) -> rule1))] @3: Erin is kind.[(((((((triple1) -> rule8)) -> rule1)) -> rule6) OR ((((((triple1) -> rule8)) -> rule5)) -> rule3))] Erin is white.[(((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule2))]