The bald eagle is rough. The bald eagle is not young. The bald eagle does not like the bear. The bald eagle likes the squirrel. The bald eagle sees the bear. The bald eagle visits the bear. The bear sees the squirrel. The bear visits the squirrel. The squirrel is not round. The squirrel is young. The squirrel likes the bear. The squirrel visits the bear. If someone visits the bear then the bear likes the squirrel. If someone visits the bald eagle then the bald eagle does not see the bear. If someone visits the squirrel then the squirrel sees the bear. If someone visits the bear and they visit the squirrel then they like the bald eagle. If someone is rough and they visit the bear then the bear is blue. If someone likes the squirrel and the squirrel sees the bear then they visit the squirrel.
The bear likes the squirrel.
@0: The bald eagle does not like the bear.[(triple3)] The bald eagle is not young.[(triple2)] The bald eagle is rough.[(triple1)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the bear.[(triple5)] The bald eagle visits the bear.[(triple6)] The bear sees the squirrel.[(triple7)] The bear visits the squirrel.[(triple8)] The squirrel is not round.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear is blue.[(((triple1 triple6) -> rule5))] The bear likes the squirrel.[(((triple12) -> rule1) OR ((triple6) -> rule1))] The squirrel sees the bear.[(((triple8) -> rule3))] @2: The bald eagle visits the squirrel.[(((triple4 ((triple8) -> rule3)) -> rule6))] @3: The bald eagle likes the bald eagle.[(((triple6 ((triple4 ((triple8) -> rule3)) -> rule6)) -> rule4))]