The cat chases the tiger. The cat does not need the tiger. The tiger visits the cat. If someone visits the cat then they do not chase the cat. If the cat chases the tiger and the tiger needs the cat then the tiger chases the cat. If someone needs the tiger and they do not chase the cat then the cat needs the tiger. If someone chases the cat and the cat is rough then they are blue. If someone is rough and they chase the tiger then the tiger is kind. If someone needs the tiger then they are not rough.
The cat needs the cat.
@0: The cat chases the tiger.[(triple1)] The cat does not need the tiger.[(triple2)] The tiger visits the cat.[(triple3)] @1: The tiger does not chase the cat.[(((triple3) -> rule1))]