The bald eagle chases the tiger. The bald eagle does not visit the tiger. The cat chases the bald eagle. The cat chases the tiger. The cat is rough. The tiger does not chase the bald eagle. The tiger is not young. If someone chases the tiger and the tiger is kind then the tiger is young. If someone chases the tiger then the tiger chases the cat. If someone visits the tiger then the tiger visits the cat.
The tiger is rough.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not visit the tiger.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat chases the tiger.[(triple4)] The cat is rough.[(triple5)] The tiger does not chase the bald eagle.[(triple6)] The tiger is not young.[(triple7)] @1: The tiger chases the cat.[(((triple1) -> rule2) OR ((triple4) -> rule2))]