The bald eagle is blue. The bald eagle likes the lion. The lion is blue. The lion is green. The lion is nice. The lion likes the squirrel. The lion visits the bald eagle. The lion visits the squirrel. The squirrel is green. The squirrel is nice. The squirrel likes the bald eagle. The squirrel likes the lion. The squirrel sees the bald eagle. The squirrel sees the lion. The squirrel visits the bald eagle. The squirrel visits the lion. If something sees the lion then the lion sees the bald eagle. If the lion likes the bald eagle and the lion likes the squirrel then the bald eagle is rough.
The squirrel does not visit the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the lion.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion likes the squirrel.[(triple6)] The lion visits the bald eagle.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel likes the lion.[(triple12)] The squirrel sees the bald eagle.[(triple13)] The squirrel sees the lion.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The lion sees the bald eagle.[(((triple14) -> rule1))]