The bald eagle is nice. The cat likes the bald eagle. The cow chases the cat. If someone likes the cow then they chase the bald eagle. If someone is kind and they like the bald eagle then they like the cat. If someone visits the cow then they visit the cat. If someone chases the cat then they visit the cow. If someone is kind then they visit the cow. If someone chases the bald eagle and the bald eagle is not kind then they are not big.
The bald eagle does not visit the cow.
@0: The bald eagle is nice.[(triple1)] The cat likes the bald eagle.[(triple2)] The cow chases the cat.[(triple3)] @1: The cow visits the cow.[(((triple3) -> rule4))] @2: The cow visits the cat.[(((((triple3) -> rule4)) -> rule3))]