The bald eagle eats the squirrel. The bald eagle is round. The bald eagle likes the cat. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The cat likes the squirrel. The cat sees the cow. The cow is green. The cow likes the bald eagle. The cow likes the cat. The squirrel is big. The squirrel is kind. The squirrel likes the bald eagle. The squirrel likes the cow. The squirrel sees the cat. If something eats the squirrel then it is big.
The squirrel sees the cat.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The cat likes the squirrel.[(triple6)] The cat sees the cow.[(triple7)] The cow is green.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the cat.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The bald eagle is big.[(((triple1) -> rule1))]