The cat likes the tiger. The cow likes the cat. The tiger likes the cat. If something is rough then it chases the tiger. If something is nice and it chases the cat then the cat eats the tiger. If something likes the cat then the cat likes the cow. If the cat eats the tiger and the tiger likes the cat then the cat is nice. If something is red and it eats the cow then the cow is nice. If something likes the cow then the cow is red. If the tiger likes the cow then the tiger is rough. If something likes the cat and it eats the cow then the cat eats the tiger.
The cat is not nice.
@0: The cat likes the tiger.[(triple1)] The cow likes the cat.[(triple2)] The tiger likes the cat.[(triple3)] @1: The cat likes the cow.[(((triple2) -> rule3) OR ((triple3) -> rule3))] @2: The cow is red.[(((((triple2) -> rule3)) -> rule6) OR ((((triple3) -> rule3)) -> rule6))]