Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is not quiet. Anne is not smart. Anne is young. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is smart. Harry is young. All furry, smart things are blue. All smart things are quiet.
Harry is young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not quiet.[(triple5)] Anne is not smart.[(triple6)] Anne is young.[(triple7)] Harry is blue.[(triple8 OR ((triple9 triple13) -> rule1))] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple13) -> rule2))] Harry is smart.[(triple13)] Harry is young.[(triple14)]