Dave is blue. Harry is blue. Harry is nice. If Dave is blue then Dave is red.
Dave is red.
@0: Dave is blue.[(triple1)] Harry is blue.[(triple2)] Harry is nice.[(triple3)] @1: Dave is red.[(((triple1) -> rule1))]