The bald eagle is round. The bald eagle likes the squirrel. The bald eagle does not visit the squirrel. The bear does not like the bald eagle. The bear visits the tiger. The squirrel likes the bald eagle. The squirrel likes the bear. The squirrel sees the tiger. The tiger is red. The tiger likes the squirrel. If something is round then it does not see the bear. If something is red and it sees the tiger then the tiger likes the bald eagle. If something visits the squirrel and it does not visit the bear then it is big. If the bald eagle visits the tiger then the bald eagle is young. If something likes the bear and it visits the squirrel then the bear does not see the squirrel. If something is big and it sees the tiger then the tiger sees the bald eagle.
The squirrel likes the bald eagle.
@0: The bald eagle does not visit the squirrel.[(triple3)] The bald eagle is round.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bear does not like the bald eagle.[(triple4)] The bear visits the tiger.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel likes the bear.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger is red.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The bald eagle does not see the bear.[(((triple1) -> rule1))]