The cow eats the dog. The dog is blue. The rabbit is round. The tiger needs the rabbit. If something chases the cow and the cow is blue then the cow is cold. If something is blue then it chases the rabbit.
The dog does not chase the rabbit.
@0: The cow eats the dog.[(triple1)] The dog is blue.[(triple2)] The rabbit is round.[(triple3)] The tiger needs the rabbit.[(triple4)] @1: The dog chases the rabbit.[(((triple2) -> rule2))]