The cat sees the tiger. The cow is round. The tiger sees the cow. If someone sees the cow then they are big. If someone sees the cat and they visit the tiger then they visit the cat. If someone visits the cat then they visit the tiger. If someone is big then they see the tiger. If someone likes the cat and they like the cow then they visit the tiger. If someone sees the tiger and the tiger is red then the tiger likes the cow. If someone visits the tiger then they visit the cow. If someone is big and they see the tiger then the tiger is kind.
The cow does not visit the cow.
@0: The cat sees the tiger.[(triple1)] The cow is round.[(triple2)] The tiger sees the cow.[(triple3)] @1: The tiger is big.[(((triple3) -> rule1))] @2: The tiger sees the tiger.[(((((triple3) -> rule1)) -> rule4))] @3: The tiger is kind.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule4)) -> rule8))]