The bald eagle sees the cat. The cat chases the bald eagle. The tiger visits the cat. If someone visits the cat then the cat visits the tiger. If the tiger does not chase the bald eagle then the bald eagle does not visit the cat. If someone is kind then they do not see the cat. If someone is big and they chase the cat then they visit the cat. If someone visits the tiger then the tiger is kind. If the tiger is cold and the tiger is nice then the tiger visits the cat. If someone is big and they do not visit the cat then the cat does not chase the bald eagle. If the cat is big and the cat is not kind then the cat chases the bald eagle.
The cat does not visit the tiger.
@0: The bald eagle sees the cat.[(triple1)] The cat chases the bald eagle.[(triple2)] The tiger visits the cat.[(triple3)] @1: The cat visits the tiger.[(((triple3) -> rule1))] @2: The tiger is kind.[(((((triple3) -> rule1)) -> rule5))] @3: The tiger does not see the cat.[(((((((triple3) -> rule1)) -> rule5)) -> rule3))]