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