The bear does not chase the cat. The bear eats the cat. The bear is round. The bear likes the dog. The bear likes the lion. The cat chases the bear. The cat does not eat the bear. The dog is nice. The dog does not like the bear. The lion likes the dog. If the cat likes the dog then the dog does not eat the lion. If something likes the dog and it does not eat the dog then the dog chases the cat. If something likes the dog and it does not chase the cat then the dog is green.
The dog does not chase the cat.
@0: The bear does not chase the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is round.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the lion.[(triple5)] The cat chases the bear.[(triple6)] The cat does not eat the bear.[(triple7)] The dog does not like the bear.[(triple9)] The dog is nice.[(triple8)] The lion likes the dog.[(triple10)] @1: The dog is green.[(((triple4 triple1) -> rule3))]