The bald eagle likes the bear. The bald eagle likes the squirrel. The bald eagle sees the bear. The bear is round. The bear likes the cow. The bear sees the bald eagle. The cow likes the bald eagle. The cow needs the squirrel. The squirrel is red. The squirrel is round. The squirrel sees the bear. The squirrel sees the cow. If someone is red then they need the cow. If someone likes the cow and they are round then the cow likes the bear. If the cow sees the bald eagle and the bald eagle likes the bear then the bald eagle likes the cow. If someone is blue and green then they see the bear. If someone needs the cow then the cow sees the bald eagle. If someone likes the cow and they need the bald eagle then the cow sees the squirrel.
The squirrel is not red.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear is round.[(triple4)] The bear likes the cow.[(triple5)] The bear sees the bald eagle.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow needs the squirrel.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel sees the cow.[(triple12)] @1: The cow likes the bear.[(((triple5 triple4) -> rule2))] The squirrel needs the cow.[(((triple9) -> rule1))] @2: The cow sees the bald eagle.[(((((triple9) -> rule1)) -> rule5))] @3: The bald eagle likes the cow.[(((((((triple9) -> rule1)) -> rule5) triple1) -> rule3))]