Anne is cold. Anne is green. Anne is red. Anne is smart. Bob is green. Bob is quiet. Bob is smart. Harry is furry. Harry is green. Harry is rough. Quiet people are rough.
Harry is quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] @1: Bob is rough.[(((triple6) -> rule1))]