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