The cat chases the rabbit. The cat eats the dog. The cat eats the lion. The cat eats the rabbit. The cat is red. The cat is rough. The cat visits the dog. The cat visits the rabbit. The dog chases the lion. The dog eats the rabbit. The lion eats the rabbit. The lion is red. The lion visits the dog. The rabbit chases the dog. The rabbit eats the dog. The rabbit visits the cat. If something is red then it chases the dog.
The cat does not chase the cat.
@0: The cat chases the rabbit.[(triple1)] The cat eats the dog.[(triple2)] The cat eats the lion.[(triple3)] The cat eats the rabbit.[(triple4)] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat visits the dog.[(triple7)] The cat visits the rabbit.[(triple8)] The dog chases the lion.[(triple9)] The dog eats the rabbit.[(triple10)] The lion eats the rabbit.[(triple11)] The lion is red.[(triple12)] The lion visits the dog.[(triple13)] The rabbit chases the dog.[(triple14)] The rabbit eats the dog.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The cat chases the dog.[(((triple5) -> rule1))] The lion chases the dog.[(((triple12) -> rule1))]