Anne is blue. Anne is kind. Anne is smart. Anne is young. Harry is green. Harry is not kind. Harry is quiet. If someone is quiet and not green then they are kind. Nice people are kind. Smart people are quiet. If someone is young then they are smart. All quiet, green people are young. If someone is smart then they are blue.
Harry is not blue.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] Anne is kind.[(triple2)] Anne is smart.[(triple3 OR ((triple4) -> rule4))] Anne is young.[(triple4)] Harry is green.[(triple5)] Harry is not kind.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is quiet.[(((triple3) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Harry is young.[(((triple7 triple5) -> rule5))] @2: Harry is smart.[(((((triple7 triple5) -> rule5)) -> rule4))] @3: Harry is blue.[(((((((triple7 triple5) -> rule5)) -> rule4)) -> rule6))]