The dog chases the lion. The dog chases the rabbit. The dog is kind. The lion chases the dog. The lion chases the rabbit. The lion eats the dog. The lion eats the rabbit. The lion is green. The lion is kind. The lion sees the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit eats the lion. The rabbit is cold. The rabbit sees the lion. If something is young then it eats the dog. If something eats the rabbit and the rabbit eats the dog then the dog sees the lion.
The dog does not eat the dog.
@0: The dog chases the lion.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is kind.[(triple3)] The lion chases the dog.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the dog.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is green.[(triple8)] The lion is kind.[(triple9)] The lion sees the rabbit.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is cold.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The dog sees the lion.[(((triple7 triple12) -> rule2))]