Erin is kind. If Erin is red then Erin is green. If Erin is nice then Erin is green. Kind, red people are green. Kind people are red. All green people are not white. If someone is green and not white then they are rough.
Erin is not nice.
@0: Erin is kind.[(triple1)] @1: Erin is red.[(((triple1) -> rule4))] @2: Erin is green.[(((((triple1) -> rule4)) -> rule1) OR ((triple1 ((triple1) -> rule4)) -> rule3))] @3: Erin is not white.[(((((((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule5))] @4: Erin is rough.[(((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple1) -> rule4)) -> rule1) ((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule5)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule3) ((((((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule3) ((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule5)) -> rule6))]