The bald eagle chases the bear. The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is nice. The bald eagle does not visit the rabbit. The bear is not round. The bear needs the mouse. The bear needs the rabbit. The mouse is big. The mouse is round. The mouse needs the bald eagle. The mouse needs the bear. The mouse needs the rabbit. The mouse visits the bear. The rabbit is nice. If the mouse needs the rabbit then the rabbit chases the mouse. If someone visits the bald eagle then the bald eagle is rough. If someone is rough and they visit the bear then the bear needs the bald eagle. If someone chases the bear and they are green then they visit the mouse. If the rabbit does not chase the mouse then the rabbit needs the bald eagle. If someone needs the bald eagle then they are green.
The bear is round.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle chases the rabbit.[(triple3)] The bald eagle does not visit the rabbit.[(triple5)] The bald eagle is nice.[(triple4)] The bear is not round.[(triple6)] The bear needs the mouse.[(triple7)] The bear needs the rabbit.[(triple8)] The mouse is big.[(triple9)] The mouse is round.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse needs the bear.[(triple12)] The mouse needs the rabbit.[(triple13)] The mouse visits the bear.[(triple14)] The rabbit is nice.[(triple15)] @1: The mouse is green.[(((triple11) -> rule6))] The rabbit chases the mouse.[(((triple13) -> rule1))]