Anne is blue. Anne is furry. Anne is green. Anne is rough. Anne is white. Charlie is blue. Charlie is green. Harry is blue. Harry is not furry. Harry is quiet. Harry is smart. Harry is white. If something is blue and not rough then it is quiet. Green things are quiet.
Charlie is quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7)] Harry is blue.[(triple8)] Harry is not furry.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Anne is quiet.[(((triple3) -> rule2))] Charlie is quiet.[(((triple7) -> rule2))]