The dog chases the rabbit. The rabbit needs the dog. If something is rough and it chases the rabbit then the rabbit is rough. If the dog is nice then the dog needs the rabbit. If something chases the rabbit and the rabbit needs the dog then it is rough.
The rabbit is not rough.
@0: The dog chases the rabbit.[(triple1)] The rabbit needs the dog.[(triple2)] @1: The dog is rough.[(((triple1 triple2) -> rule3))] @2: The rabbit is rough.[(((((triple1 triple2) -> rule3) triple1) -> rule1))]