The cat needs the tiger. The tiger needs the cat. If someone needs the tiger and they need the cat then they do not eat the cat. If someone needs the tiger then the tiger eats the cat. If someone visits the cat then the cat needs the tiger. If someone is round and they do not eat the cat then the cat visits the tiger. If someone eats the tiger and they do not visit the tiger then they are young. If someone needs the cat and they are nice then they are young. If the tiger eats the cat then the cat is not young. If someone is young and they do not eat the cat then the cat is young.
The tiger needs the cat.
@0: The cat needs the tiger.[(triple1)] The tiger needs the cat.[(triple2)] @1: The tiger eats the cat.[(((triple1) -> rule2))] @2: The cat is not young.[(((((triple1) -> rule2)) -> rule7))]