The lion eats the squirrel. The lion is kind. The lion is nice. The lion is red. The lion is rough. The lion is young. The lion needs the squirrel. The lion does not visit the squirrel. The squirrel does not eat the lion. The squirrel is kind. The squirrel is nice. The squirrel is not red. The squirrel is rough. The squirrel is young. The squirrel needs the lion. The squirrel visits the lion. If the squirrel is kind then the squirrel does not eat the lion. If something is young and it does not need the squirrel then it needs the lion. If something visits the lion then it eats the squirrel.
The squirrel needs the squirrel.
@0: The lion does not visit the squirrel.[(triple8)] The lion eats the squirrel.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel does not eat the lion.[(triple9 OR ((triple10) -> rule1))] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is not red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The squirrel eats the squirrel.[(((triple16) -> rule3))]