The bald eagle is blue. The bald eagle likes the cat. The bald eagle needs the mouse. The cat is round. The cat needs the cow. The cow is rough. The cow needs the mouse. The mouse is blue. The mouse is round. The mouse is young. The mouse visits the bald eagle. If something needs the bald eagle then it likes the cow. If something needs the cat then it likes the bald eagle. If the mouse visits the bald eagle then the mouse visits the cat. If something visits the bald eagle then it needs the bald eagle. If something likes the mouse then it needs the cow. If something likes the bald eagle then the bald eagle needs the cat. If something likes the cow then the cow visits the bald eagle.
The mouse needs the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cat is round.[(triple4)] The cat needs the cow.[(triple5)] The cow is rough.[(triple6)] The cow needs the mouse.[(triple7)] The mouse is blue.[(triple8)] The mouse is round.[(triple9)] The mouse is young.[(triple10)] The mouse visits the bald eagle.[(triple11)] @1: The mouse needs the bald eagle.[(((triple11) -> rule4))] The mouse visits the cat.[(((triple11) -> rule3))] @2: The mouse likes the cow.[(((((triple11) -> rule4)) -> rule1))] @3: The cow visits the bald eagle.[(((((((triple11) -> rule4)) -> rule1)) -> rule7))] @4: The cow needs the bald eagle.[(((((((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule4))] @5: The cow likes the cow.[(((((((((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule4)) -> rule1))]