The bald eagle eats the bear. The bald eagle is green. The bald eagle likes the bear. The bald eagle visits the squirrel. The bear eats the bald eagle. The bear eats the squirrel. The bear is green. The bear visits the bald eagle. The squirrel eats the bald eagle. The squirrel likes the bear. The squirrel visits the bald eagle. The squirrel visits the bear. If something likes the bald eagle and the bald eagle likes the bear then the bald eagle eats the squirrel. If something eats the bear and the bear eats the squirrel then it likes the bald eagle. If something likes the bald eagle and it likes the squirrel then the bald eagle eats the bear. If something visits the squirrel and it likes the bear then the bear visits the bald eagle. If the bald eagle likes the bear and the bear likes the squirrel then the squirrel eats the bear. If something likes the squirrel then it is kind. If something is nice and it eats the bear then it likes the squirrel. If something likes the bald eagle then it is nice.
The bald eagle likes the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear eats the squirrel.[(triple6)] The bear is green.[(triple7)] The bear visits the bald eagle.[(triple8 OR ((triple4 triple3) -> rule4))] The squirrel eats the bald eagle.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple1 triple6) -> rule2))] @2: The bald eagle eats the squirrel.[(((((triple1 triple6) -> rule2) triple3) -> rule1))] The bald eagle is nice.[(((((triple1 triple6) -> rule2)) -> rule8))] @3: The bald eagle likes the squirrel.[(((((((triple1 triple6) -> rule2)) -> rule8) triple1) -> rule7))] @4: The bald eagle is kind.[(((((((((triple1 triple6) -> rule2)) -> rule8) triple1) -> rule7)) -> rule6))]