The cat eats the cow. The cat eats the tiger. The cat sees the cow. The cat sees the dog. The cat sees the tiger. The cow eats the dog. The cow sees the dog. The cow sees the tiger. The dog sees the tiger. The tiger likes the dog. If something likes the cow and the cow likes the tiger then the cow is nice. If the cat likes the dog then the dog is not blue. If something eats the cow then the cow likes the cat. If something is round and not red then it does not see the tiger. If something likes the cat then the cat likes the dog. If the cat is red and the cat is not blue then the cat is nice.
The cow does not like the cat.
@0: The cat eats the cow.[(triple1)] The cat eats the tiger.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the dog.[(triple4)] The cat sees the tiger.[(triple5)] The cow eats the dog.[(triple6)] The cow sees the dog.[(triple7)] The cow sees the tiger.[(triple8)] The dog sees the tiger.[(triple9)] The tiger likes the dog.[(triple10)] @1: The cow likes the cat.[(((triple1) -> rule3))] @2: The cat likes the dog.[(((((triple1) -> rule3)) -> rule5))] @3: The dog is not blue.[(((((((triple1) -> rule3)) -> rule5)) -> rule2))]