The cow does not chase the dog. The dog is kind. The rabbit is round. The tiger chases the dog. If something is kind then it is green. If something is green then it chases the tiger. If the cow sees the dog then the dog sees the rabbit.
The rabbit does not see the cow.
@0: The cow does not chase the dog.[(triple1)] The dog is kind.[(triple2)] The rabbit is round.[(triple3)] The tiger chases the dog.[(triple4)] @1: The dog is green.[(((triple2) -> rule1))] @2: The dog chases the tiger.[(((((triple2) -> rule1)) -> rule2))]