The bald eagle likes the cat. The cat chases the squirrel. The cat likes the lion. The cat likes the squirrel. The cat sees the lion. The lion chases the bald eagle. The lion chases the cat. The lion sees the squirrel. The squirrel chases the bald eagle. The squirrel is nice. The squirrel is young. The squirrel likes the bald eagle. The squirrel likes the cat. The squirrel likes the lion. The squirrel sees the bald eagle. If something is rough and it sees the cat then it chases the squirrel. If something is nice and big then it sees the squirrel. If the cat is blue then the cat chases the lion. If something chases the lion and the lion sees the squirrel then the lion is blue. If something sees the bald eagle and it chases the cat then it likes the lion. If something sees the squirrel then the squirrel sees the lion. If something sees the lion and it is young then the lion is young. If something chases the lion then the lion is young.
The bald eagle does not chase the squirrel.
@0: The bald eagle likes the cat.[(triple1)] The cat chases the squirrel.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the squirrel.[(triple4)] The cat sees the lion.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion chases the cat.[(triple7)] The lion sees the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is young.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The squirrel sees the lion.[(((triple8) -> rule6))] @2: The lion is young.[(((((triple8) -> rule6) triple11) -> rule7))]