Anne is blue. Anne is kind. Anne is young. Bob is quiet. Bob is smart. Bob is young. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Quiet, blue things are young. All green things are blue.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is young.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Harry is blue.[(triple7 OR ((triple8) -> rule2))] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Harry is young.[(((triple10 triple7) -> rule1) OR ((triple10 ((triple8) -> rule2)) -> rule1))]