The cat likes the tiger. The lion likes the cat. The tiger is kind. If someone visits the tiger then the tiger likes the cat. If someone likes the cat then they do not visit the tiger. If someone is green and they visit the lion then they visit the tiger. If someone likes the cat then the cat is rough. If someone eats the lion then they eat the cat. If someone likes the lion and they eat the cat then they do not eat the lion. If someone is rough then they eat the lion. If the tiger does not like the cat then the tiger does not eat the cat.
The cat eats the lion.
@0: The cat likes the tiger.[(triple1)] The lion likes the cat.[(triple2)] The tiger is kind.[(triple3)] @1: The cat is rough.[(((triple2) -> rule4))] The lion does not visit the tiger.[(((triple2) -> rule2))] @2: The cat eats the lion.[(((((triple2) -> rule4)) -> rule7))] @3: The cat eats the cat.[(((((((triple2) -> rule4)) -> rule7)) -> rule5))]