The lion is green. The lion is rough. The lion is not young. The lion needs the squirrel. The lion sees the tiger. The squirrel chases the tiger. The squirrel is big. The squirrel is rough. The squirrel is round. The squirrel sees the lion. The tiger chases the lion. The tiger chases the squirrel. The tiger is green. The tiger is rough. The tiger sees the squirrel. If someone is young and they see the lion then the lion sees the tiger. If someone chases the squirrel then they chase the lion. If someone sees the lion then they do not chase the lion. If the squirrel needs the lion then the squirrel does not need the tiger. If someone is big and they see the tiger then the tiger chases the lion. If the squirrel is green and the squirrel is not round then the squirrel sees the lion.
The squirrel is not rough.
@0: The lion is green.[(triple1)] The lion is not young.[(triple3)] The lion is rough.[(triple2)] The lion needs the squirrel.[(triple4)] The lion sees the tiger.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel is big.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9)] The squirrel sees the lion.[(triple10)] The tiger chases the lion.[(triple11 OR ((triple12) -> rule2))] The tiger chases the squirrel.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The squirrel does not chase the lion.[(((triple10) -> rule3))]