The bald eagle is not rough. The bald eagle likes the dog. The bald eagle sees the dog. The cat likes the dog. The dog visits the bald eagle. The dog visits the mouse. The mouse is rough. If the cat is not rough then the cat is big. If someone visits the bald eagle then the bald eagle sees the mouse. If someone likes the mouse and they visit the dog then they like the bald eagle.
The mouse is not rough.
@0: The bald eagle is not rough.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the dog.[(triple3)] The cat likes the dog.[(triple4)] The dog visits the bald eagle.[(triple5)] The dog visits the mouse.[(triple6)] The mouse is rough.[(triple7)] @1: The bald eagle sees the mouse.[(((triple5) -> rule2))]