The bald eagle sees the lion. The cat is not round. The cow is red. The lion visits the cow. If the bald eagle is round and the bald eagle is not young then the bald eagle does not eat the cow. If someone visits the lion then they see the cat. If someone eats the cat and they are not round then they see the bald eagle. If someone sees the cow then they eat the bald eagle. If someone is red then they visit the lion. If someone visits the cat and the cat does not visit the cow then the cow is not rough.
The cow does not visit the lion.
@0: The bald eagle sees the lion.[(triple1)] The cat is not round.[(triple2)] The cow is red.[(triple3)] The lion visits the cow.[(triple4)] @1: The cow visits the lion.[(((triple3) -> rule5))] @2: The cow sees the cat.[(((((triple3) -> rule5)) -> rule2))]