The bald eagle is rough. The bald eagle visits the cow. The bald eagle visits the mouse. The cow visits the bald eagle. The dog needs the cow. The mouse is big. The mouse is rough. The mouse likes the cow. The mouse needs the bald eagle. The mouse needs the dog. If someone visits the mouse then they are not green.
The cow does not like the dog.
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the cow.[(triple2)] The bald eagle visits the mouse.[(triple3)] The cow visits the bald eagle.[(triple4)] The dog needs the cow.[(triple5)] The mouse is big.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the cow.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse needs the dog.[(triple10)] @1: The bald eagle is not green.[(((triple3) -> rule1))]