The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is rough. The bald eagle is young. The lion is blue. The lion is green. The lion is nice. The lion is rough. The lion likes the bald eagle. The lion needs the squirrel. The mouse is nice. The mouse is rough. The squirrel eats the lion. The squirrel is blue. The squirrel likes the bald eagle. The squirrel needs the lion. If the squirrel likes the bald eagle then the bald eagle likes the squirrel. If someone needs the bald eagle and they like the mouse then they eat the bald eagle. If someone needs the lion and the lion is rough then the lion needs the bald eagle. If someone is rough then they like the bald eagle. If someone needs the lion and the lion eats the bald eagle then the lion needs the bald eagle. If someone is nice then they like the squirrel.
The squirrel does not like the squirrel.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The lion is blue.[(triple5)] The lion is green.[(triple6)] The lion is nice.[(triple7)] The lion is rough.[(triple8)] The lion likes the bald eagle.[(triple9 OR ((triple8) -> rule4))] The lion needs the squirrel.[(triple10)] The mouse is nice.[(triple11)] The mouse is rough.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel is blue.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule4))] The bald eagle likes the squirrel.[(((triple15) -> rule1))] The lion likes the squirrel.[(((triple7) -> rule6))] The lion needs the bald eagle.[(((triple16 triple8) -> rule3))] The mouse likes the bald eagle.[(((triple12) -> rule4))] The mouse likes the squirrel.[(((triple11) -> rule6))]