The bald eagle chases the cat. The bald eagle does not chase the lion. The bald eagle is kind. The cat chases the squirrel. The lion is round. The lion is not young. The squirrel chases the bald eagle. The squirrel is kind. The squirrel likes the lion. The squirrel visits the lion. If something is young and it does not chase the cat then it visits the cat. If something chases the bald eagle then it chases the squirrel. If something chases the bald eagle and the bald eagle does not like the squirrel then the bald eagle likes the lion. If something is kind then it is young. If something visits the cat and it is green then the cat does not chase the squirrel. If something likes the bald eagle then the bald eagle chases the squirrel. If something likes the lion and the lion is green then the lion likes the cat. If something chases the lion and it does not visit the cat then it likes the lion.
The squirrel does not visit the lion.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not chase the lion.[(triple2)] The bald eagle is kind.[(triple3)] The cat chases the squirrel.[(triple4)] The lion is not young.[(triple6)] The lion is round.[(triple5)] The squirrel chases the bald eagle.[(triple7)] The squirrel is kind.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The bald eagle is young.[(((triple3) -> rule4))] The squirrel chases the squirrel.[(((triple7) -> rule2))] The squirrel is young.[(((triple8) -> rule4))]