Anne is nice. Dave is rough. Fiona is white. Harry is young. All nice things are rough.
Dave is nice.
@0: Anne is nice.[(triple1)] Dave is rough.[(triple2)] Fiona is white.[(triple3)] Harry is young.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))]