The bald eagle is green. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse is green. The mouse is round. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse sees the bald eagle. The squirrel likes the bald eagle. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel sees the mouse. If someone is big then they see the bald eagle. If someone is round then they like the bald eagle. If someone is blue and they see the squirrel then the squirrel is green.
The bald eagle does not like the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle sees the mouse.[(triple3)] The mouse is green.[(triple4)] The mouse is round.[(triple5)] The mouse likes the bald eagle.[(triple6 OR ((triple5) -> rule2))] The mouse needs the bald eagle.[(triple7)] The mouse sees the bald eagle.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the mouse.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel sees the mouse.[(triple12)]