The bald eagle needs the mouse. The bald eagle needs the rabbit. The bald eagle sees the mouse. The bald eagle sees the rabbit. The mouse is green. The mouse is nice. The mouse is rough. The mouse needs the bald eagle. The mouse needs the rabbit. The mouse sees the bald eagle. The mouse sees the rabbit. The rabbit chases the bald eagle. The rabbit chases the mouse. The rabbit is rough. The rabbit needs the mouse. The rabbit sees the mouse. If someone needs the bald eagle and the bald eagle is kind then the bald eagle is green. If someone chases the bald eagle and they are rough then the bald eagle needs the rabbit.
The bald eagle is round.
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle needs the rabbit.[(triple2 OR ((triple12 triple14) -> rule2))] The bald eagle sees the mouse.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The mouse is green.[(triple5)] The mouse is nice.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the bald eagle.[(triple8)] The mouse needs the rabbit.[(triple9)] The mouse sees the bald eagle.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit is rough.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit sees the mouse.[(triple16)]