Erin is kind. Erin is rough. Harry is blue. Harry is nice. Harry is not rough. Harry is smart. Harry is young. If someone is blue and nice then they are smart. All blue, green people are smart. If someone is rough and not young then they are smart. All rough, green people are blue. If Erin is nice then Erin is blue. If someone is rough then they are green.
Erin is green.
@0: Erin is kind.[(triple1)] Erin is rough.[(triple2)] Harry is blue.[(triple3)] Harry is nice.[(triple4)] Harry is not rough.[(triple5)] Harry is smart.[(triple6 OR ((triple3 triple4) -> rule1))] Harry is young.[(triple7)] @1: Erin is green.[(((triple2) -> rule6))] @2: Erin is blue.[(((triple2 ((triple2) -> rule6)) -> rule4))] @3: Erin is smart.[(((((triple2 ((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule2))]