The dog likes the rabbit. The rabbit sees the dog. If the rabbit likes the dog and the rabbit is kind then the rabbit sees the dog. If the rabbit is big then the rabbit sees the dog. If someone chases the rabbit and the rabbit chases the dog then they are rough. If someone is rough and round then they see the dog. If someone sees the dog then the dog is rough. If someone sees the dog then the dog chases the rabbit. If someone chases the dog then they are rough. If someone chases the rabbit then the rabbit chases the dog.
The rabbit is rough.
@0: The dog likes the rabbit.[(triple1)] The rabbit sees the dog.[(triple2)] @1: The dog chases the rabbit.[(((triple2) -> rule6))] The dog is rough.[(((triple2) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule8)) -> rule3))] @2: The rabbit chases the dog.[(((((triple2) -> rule6)) -> rule8))] @3: The rabbit is rough.[(((((((triple2) -> rule6)) -> rule8)) -> rule7))]