The dog chases the lion. The dog chases the rabbit. The dog is cold. The dog likes the lion. The dog sees the lion. The dog sees the rabbit. The lion chases the dog. The lion is young. The lion likes the dog. The lion sees the rabbit. The rabbit does not chase the lion. The rabbit is blue. The rabbit is kind. The rabbit likes the dog. The rabbit sees the dog. The rabbit sees the lion. If the dog likes the rabbit then the rabbit sees the lion. If someone sees the lion and they do not chase the lion then the lion does not chase the rabbit.
The lion chases the dog.
@0: The dog chases the lion.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is cold.[(triple3)] The dog likes the lion.[(triple4)] The dog sees the lion.[(triple5)] The dog sees the rabbit.[(triple6)] The lion chases the dog.[(triple7)] The lion is young.[(triple8)] The lion likes the dog.[(triple9)] The lion sees the rabbit.[(triple10)] The rabbit does not chase the lion.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is kind.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The lion does not chase the rabbit.[(((triple16 triple11) -> rule2))]