The cat chases the cow. The cat is not rough. The cat is young. The cow chases the dog. The cow is nice. The cow is round. The cow is young. The cow visits the dog. The dog chases the cat. The dog likes the cow. If something chases the dog then the dog is nice. If the cow chases the dog and the dog does not chase the cat then the cow does not like the cat. If the dog is kind and the dog likes the cat then the cat chases the cow.
The cat is kind.
@0: The cat chases the cow.[(triple1)] The cat is not rough.[(triple2)] The cat is young.[(triple3)] The cow chases the dog.[(triple4)] The cow is nice.[(triple5)] The cow is round.[(triple6)] The cow is young.[(triple7)] The cow visits the dog.[(triple8)] The dog chases the cat.[(triple9)] The dog likes the cow.[(triple10)] @1: The dog is nice.[(((triple4) -> rule1))]