The bald eagle is rough. The bald eagle is young. The bald eagle likes the cow. The cow sees the bald eagle. The mouse chases the rabbit. The mouse sees the rabbit. The rabbit sees the mouse. If someone is young and they see the cow then the cow is rough. If someone likes the mouse then they see the mouse. If someone sees the mouse and the mouse is kind then they like the rabbit. If someone is young and they see the rabbit then the rabbit is young. If someone chases the rabbit then the rabbit chases the mouse. If someone likes the cow then they are young. If the mouse likes the cow then the mouse is big. If someone sees the cow then they see the mouse.
The mouse likes the bald eagle.
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2 OR ((triple3) -> rule6))] The bald eagle likes the cow.[(triple3)] The cow sees the bald eagle.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse sees the rabbit.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The rabbit chases the mouse.[(((triple5) -> rule5))]