Bob is green. Erin is blue. Erin is kind. Erin is white. Harry is blue. Harry is kind. Harry is nice. White things are blue. Blue, kind things are green. Nice things are white.
Bob is not white.
@0: Bob is green.[(triple1)] Erin is blue.[(triple2 OR ((triple4) -> rule1))] Erin is kind.[(triple3)] Erin is white.[(triple4)] Harry is blue.[(triple5 OR ((((triple7) -> rule3)) -> rule1))] Harry is kind.[(triple6)] Harry is nice.[(triple7)] @1: Erin is green.[(((triple2 triple3) -> rule2) OR ((((triple4) -> rule1) triple3) -> rule2))] Harry is green.[(((triple5 triple6) -> rule2) OR ((((((triple7) -> rule3)) -> rule1) triple6) -> rule2))] Harry is white.[(((triple7) -> rule3))]