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