The cat is big. The lion likes the tiger. The tiger visits the cat. If something is young and it eats the tiger then it likes the tiger. If something visits the cat and it is big then it is round. If something is young and it likes the cat then the cat likes the tiger. If something is big then it eats the cat. If something visits the tiger and the tiger visits the cat then the tiger is young. If something is round then it eats the lion. If something visits the lion and it is round then it visits the tiger. If something is round and it likes the tiger then it visits the tiger.
The tiger visits the cat.
@0: The cat is big.[(triple1)] The lion likes the tiger.[(triple2)] The tiger visits the cat.[(triple3)] @1: The cat eats the cat.[(((triple1) -> rule4))]