The lion does not chase the squirrel. The lion eats the squirrel. The lion is kind. The lion needs the squirrel. The squirrel does not chase the lion. The squirrel eats the lion. The squirrel is nice. If the lion eats the squirrel and the lion does not need the squirrel then the squirrel is kind. If something eats the squirrel and the squirrel is not young then the squirrel is green. If something eats the squirrel and the squirrel eats the lion then the squirrel does not chase the lion.
The squirrel is not kind.
@0: The lion does not chase the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is kind.[(triple3)] The lion needs the squirrel.[(triple4)] The squirrel does not chase the lion.[(triple5 OR ((triple2 triple6) -> rule3))] The squirrel eats the lion.[(triple6)] The squirrel is nice.[(triple7)]