Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Dave is furry. Harry is cold. Harry is furry. Harry is rough. Harry is young. All blue, smart things are young. Blue things are rough. If something is furry then it is quiet.
Harry is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4 OR ((triple3) -> rule3))] Anne is rough.[(triple5 OR ((triple1) -> rule2))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1 triple6) -> rule1))] Dave is furry.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Dave is quiet.[(((triple8) -> rule3))] Harry is quiet.[(((triple10) -> rule3))]