Anne is big. Anne is round. Dave is furry. Dave is nice. Dave is not quiet. Dave is smart. Harry is big. If something is furry then it is big.
Harry is nice.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is smart.[(triple6)] Harry is big.[(triple7)] @1: Dave is big.[(((triple3) -> rule1))]