Bob is cold. Dave is red. Harry is furry. Kind things are red. Furry things are round. If something is kind then it is rough.
Dave is red.
@0: Bob is cold.[(triple1)] Dave is red.[(triple2)] Harry is furry.[(triple3)] @1: Harry is round.[(((triple3) -> rule2))]