The lion chases the squirrel. The lion is green. The lion is round. The lion is young. The lion visits the squirrel. The squirrel chases the lion. The squirrel is not round. The squirrel is young. The squirrel sees the lion. The squirrel does not visit the lion. If someone visits the squirrel and they do not see the lion then the squirrel visits the lion. If someone visits the squirrel and the squirrel visits the lion then the lion is young. If someone sees the lion and they visit the lion then they are green. If the squirrel is green and the lion does not see the squirrel then the squirrel chases the lion. If the lion sees the squirrel and the squirrel does not visit the lion then the squirrel is not green. If someone chases the lion then they are rough. If someone visits the squirrel and they do not chase the lion then they chase the squirrel. If someone chases the lion then they chase the squirrel.
The squirrel does not see the lion.
@0: The lion chases the squirrel.[(triple1)] The lion is green.[(triple2)] The lion is round.[(triple3)] The lion is young.[(triple4)] The lion visits the squirrel.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel does not visit the lion.[(triple10)] The squirrel is not round.[(triple7)] The squirrel is young.[(triple8)] The squirrel sees the lion.[(triple9)] @1: The squirrel chases the squirrel.[(((triple6) -> rule8))] The squirrel is rough.[(((triple6) -> rule6))]