The bear eats the cat. The bear eats the dog. The cat visits the bear. The cat visits the dog. The dog is big. The dog is blue. The dog is cold. If something visits the dog and it eats the cat then the cat is blue. If something visits the bear then the bear likes the dog. If the dog eats the bear and the dog visits the cat then the bear eats the cat. If something is blue then it eats the cat. If the bear eats the cat and the cat likes the dog then the cat is nice. If the dog visits the cat then the cat eats the bear. If something is nice and big then it eats the cat. If the dog is nice then the dog eats the cat.
The cat does not eat the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the dog.[(triple2)] The cat visits the bear.[(triple3)] The cat visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] @1: The bear likes the dog.[(((triple3) -> rule2))] The dog eats the cat.[(((triple6) -> rule4))]