The bear eats the cow. The bear is round. The bear likes the cow. The cat chases the dog. The cat eats the dog. The cat likes the cow. The cow is round. The cow likes the bear. The dog eats the bear. The dog is round. The dog likes the bear. The dog likes the cat. If something likes the cow and the cow likes the cat then the cat is red. If the dog likes the cat then the dog eats the cow.
The cow likes the bear.
@0: The bear eats the cow.[(triple1)] The bear is round.[(triple2)] The bear likes the cow.[(triple3)] The cat chases the dog.[(triple4)] The cat eats the dog.[(triple5)] The cat likes the cow.[(triple6)] The cow is round.[(triple7)] The cow likes the bear.[(triple8)] The dog eats the bear.[(triple9)] The dog is round.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the cat.[(triple12)] @1: The dog eats the cow.[(((triple12) -> rule2))]