The lion does not chase the squirrel. The lion is big. The lion is green. The lion is not rough. The lion is round. The lion is young. The lion likes the squirrel. The lion sees the squirrel. The squirrel chases the lion. The squirrel is big. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the lion. The squirrel sees the lion. If the lion does not like the squirrel then the squirrel likes the lion. If something chases the squirrel and it chases the lion then the squirrel sees the lion. If something chases the squirrel and the squirrel does not chase the lion then the lion does not see the squirrel. If something is rough and it likes the squirrel then it does not see the squirrel. If the squirrel is round and the squirrel is green then the squirrel is big. If the squirrel sees the lion and the squirrel does not chase the lion then the lion does not chase the squirrel. If something is big then it sees the lion. If something likes the squirrel then it does not chase the squirrel.
The lion is young.
@0: The lion does not chase the squirrel.[(triple1 OR ((triple7) -> rule8))] The lion is big.[(triple2)] The lion is green.[(triple3)] The lion is not rough.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion likes the squirrel.[(triple7)] The lion sees the squirrel.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is big.[(triple10 OR ((triple13 triple11) -> rule5))] The squirrel is green.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel sees the lion.[(triple16 OR ((triple10) -> rule7) OR ((((triple13 triple11) -> rule5)) -> rule7))] @1: The lion sees the lion.[(((triple2) -> rule7))]