The dog chases the rabbit. The dog is blue. The dog is young. The dog likes the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit is blue. If something chases the dog and it sees the dog then the dog chases the rabbit. If something is green then it likes the rabbit. If something is blue and it sees the dog then it likes the rabbit. If the dog likes the rabbit and the rabbit likes the dog then the dog is blue. If something sees the dog and the dog chases the rabbit then the dog is blue. If something is young then it chases the dog.
The rabbit chases the dog.
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is young.[(triple3)] The dog likes the rabbit.[(triple4)] The dog sees the rabbit.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is blue.[(triple7)] @1: The dog chases the dog.[(((triple3) -> rule6))]