The dog chases the squirrel. The dog likes the squirrel. The dog does not see the lion. The lion chases the dog. The lion chases the squirrel. The lion is young. The lion likes the dog. The lion does not see the squirrel. The squirrel chases the dog. The squirrel chases the lion. The squirrel is not cold. The squirrel is kind. The squirrel is rough. The squirrel likes the lion. The squirrel sees the dog. The squirrel sees the lion. If the dog chases the lion and the lion does not see the dog then the dog does not like the lion. If someone sees the lion then the lion is rough.
The squirrel does not like the lion.
@0: The dog chases the squirrel.[(triple1)] The dog does not see the lion.[(triple3)] The dog likes the squirrel.[(triple2)] The lion chases the dog.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not see the squirrel.[(triple8)] The lion is young.[(triple6)] The lion likes the dog.[(triple7)] The squirrel chases the dog.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel is kind.[(triple12)] The squirrel is not cold.[(triple11)] The squirrel is rough.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The lion is rough.[(((triple16) -> rule2))]