The bald eagle likes the cat. The bald eagle likes the cow. The bald eagle visits the cow. The bear needs the cow. The cat likes the bear. The cat needs the bear. The cat visits the bald eagle. The cow is round. The cow likes the bear. The cow visits the bald eagle. If someone needs the bald eagle then the bald eagle is cold. If someone is rough then they visit the bear. If someone likes the cat then the cat needs the bear. If someone likes the bear then they like the bald eagle. If someone is rough and round then they need the bear. If someone needs the cow then they visit the cow. If someone likes the bald eagle then they visit the bear. If someone needs the cow and the cow visits the bear then the cow needs the cat.
The cow does not visit the cow.
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle visits the cow.[(triple3)] The bear needs the cow.[(triple4)] The cat likes the bear.[(triple5)] The cat needs the bear.[(triple6 OR ((triple1) -> rule3))] The cat visits the bald eagle.[(triple7)] The cow is round.[(triple8)] The cow likes the bear.[(triple9)] The cow visits the bald eagle.[(triple10)] @1: The bear visits the cow.[(((triple4) -> rule6))] The cat likes the bald eagle.[(((triple5) -> rule4))] The cow likes the bald eagle.[(((triple9) -> rule4))] @2: The cat visits the bear.[(((((triple5) -> rule4)) -> rule7))] The cow visits the bear.[(((((triple9) -> rule4)) -> rule7))] @3: The cow needs the cat.[(((triple4 ((((triple9) -> rule4)) -> rule7)) -> rule8))]