The bald eagle eats the cow. The bald eagle is round. The bald eagle likes the cow. The cow eats the bald eagle. The cow likes the dog. The dog eats the bald eagle. The dog is rough. The dog likes the bald eagle. The dog visits the bald eagle. The dog visits the cow. The mouse visits the dog. If someone likes the mouse then they eat the cow. If someone likes the bald eagle then the bald eagle visits the mouse. If the mouse likes the dog then the mouse eats the bald eagle. If someone visits the bald eagle then the bald eagle is blue. If the mouse eats the bald eagle then the bald eagle is green. If someone is blue then they eat the mouse. If someone likes the cow and they visit the dog then they are blue. Round people are green. If someone eats the mouse then the mouse likes the cow.
The mouse does not eat the mouse.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cow.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow likes the dog.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog is rough.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the cow.[(triple10)] The mouse visits the dog.[(triple11)] @1: The bald eagle is blue.[(((triple9) -> rule4))] The bald eagle is green.[(((triple2) -> rule8))] The bald eagle visits the mouse.[(((triple8) -> rule2))] @2: The bald eagle eats the mouse.[(((((triple9) -> rule4)) -> rule6))] @3: The mouse likes the cow.[(((((((triple9) -> rule4)) -> rule6)) -> rule9))] @4: The mouse is blue.[(((((((((triple9) -> rule4)) -> rule6)) -> rule9) triple11) -> rule7))] @5: The mouse eats the mouse.[(((((((((((triple9) -> rule4)) -> rule6)) -> rule9) triple11) -> rule7)) -> rule6))]