Anne is blue. Dave is nice. Harry is rough. If Harry is rough then Harry is young. If Harry is big then Harry is round.
Anne is not nice.
@0: Anne is blue.[(triple1)] Dave is nice.[(triple2)] Harry is rough.[(triple3)] @1: Harry is young.[(((triple3) -> rule1))]