The cat is big. The cat likes the cow. The cat likes the tiger. The cow chases the tiger. The cow likes the cat. The tiger is cold. The tiger likes the cat. If something likes the cat then the cat eats the tiger.
The tiger does not eat the cow.
@0: The cat is big.[(triple1)] The cat likes the cow.[(triple2)] The cat likes the tiger.[(triple3)] The cow chases the tiger.[(triple4)] The cow likes the cat.[(triple5)] The tiger is cold.[(triple6)] The tiger likes the cat.[(triple7)] @1: The cat eats the tiger.[(((triple5) -> rule1) OR ((triple7) -> rule1))]