The cat eats the dog. The cat likes the dog. The dog is nice. If someone eats the dog then they need the cat. If someone likes the cat and the cat eats the dog then the cat likes the dog. If someone is big and they like the dog then the dog eats the cat.
The dog does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat likes the dog.[(triple2)] The dog is nice.[(triple3)] @1: The cat needs the cat.[(((triple1) -> rule1))]