The bald eagle likes the bear. The bear likes the cow. The cat is round. The cat is young. The cat likes the bald eagle. The cat likes the bear. The cow is blue. If someone visits the bald eagle then they like the bald eagle. If someone likes the cat then they need the cow. If the cat visits the cow then the cat is blue. If someone needs the cow then they like the cow. If someone is round then they like the cat. If someone visits the cow then they visit the bear.
The cat likes the cow.
@0: The bald eagle likes the bear.[(triple1)] The bear likes the cow.[(triple2)] The cat is round.[(triple3)] The cat is young.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the bear.[(triple6)] The cow is blue.[(triple7)] @1: The cat likes the cat.[(((triple3) -> rule5))] @2: The cat needs the cow.[(((((triple3) -> rule5)) -> rule2))] @3: The cat likes the cow.[(((((((triple3) -> rule5)) -> rule2)) -> rule4))]