Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is red. Harry is smart. Rough people are furry.
Charlie is furry.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is red.[(triple6)] Harry is smart.[(triple7)] @1: Anne is furry.[(((triple2) -> rule1))]