The bald eagle visits the mouse. The cat visits the bald eagle. The cow is rough. The mouse visits the cow. If someone likes the cow then they are cold. If someone likes the mouse and the mouse is kind then the mouse likes the cat. If someone is round then they need the cow. If someone visits the cow then they are round. If the bald eagle needs the cat and the bald eagle needs the mouse then the bald eagle likes the cat. If someone visits the cow then they are nice. If someone visits the cat then they visit the cow. If someone needs the cow then the cow likes the bald eagle.
The cow likes the bald eagle.
@0: The bald eagle visits the mouse.[(triple1)] The cat visits the bald eagle.[(triple2)] The cow is rough.[(triple3)] The mouse visits the cow.[(triple4)] @1: The mouse is nice.[(((triple4) -> rule6))] The mouse is round.[(((triple4) -> rule4))] @2: The mouse needs the cow.[(((((triple4) -> rule4)) -> rule3))] @3: The cow likes the bald eagle.[(((((((triple4) -> rule4)) -> rule3)) -> rule8))]