The bald eagle chases the rabbit. The bald eagle is not green. The bald eagle is red. The bald eagle sees the mouse. The bald eagle does not see the squirrel. The mouse is not red. The mouse is rough. The mouse does not need the bald eagle. The mouse needs the rabbit. The rabbit sees the bald eagle. The squirrel is rough. The squirrel needs the bald eagle. If something sees the squirrel and it chases the rabbit then it needs the squirrel. If something is young then it does not need the squirrel. If the rabbit does not chase the squirrel then the squirrel does not need the rabbit. If something sees the bald eagle then the bald eagle chases the mouse. If something needs the squirrel and the squirrel is red then the squirrel does not need the mouse. All rough things are round.
The rabbit sees the bald eagle.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle does not see the squirrel.[(triple5)] The bald eagle is not green.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the mouse.[(triple4)] The mouse does not need the bald eagle.[(triple8)] The mouse is not red.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the rabbit.[(triple9)] The rabbit sees the bald eagle.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The bald eagle chases the mouse.[(((triple10) -> rule4))] The mouse is round.[(((triple7) -> rule6))] The squirrel is round.[(((triple11) -> rule6))]