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