Dave is kind. Dave is young. Harry is white. Round things are young. If Harry is green and Harry is round then Harry is young. If Dave is young then Dave is blue.
Harry is round.
@0: Dave is kind.[(triple1)] Dave is young.[(triple2)] Harry is white.[(triple3)] @1: Dave is blue.[(((triple2) -> rule3))]