The dog eats the lion. The dog is blue. The dog needs the lion. The dog sees the lion. The dog sees the squirrel. The lion eats the dog. The lion is blue. The lion is green. The lion is rough. The lion needs the dog. The lion sees the squirrel. The squirrel eats the dog. The squirrel eats the lion. The squirrel is not young. The squirrel sees the lion. If someone sees the lion and the lion sees the squirrel then the lion does not need the squirrel. If someone needs the squirrel and they see the squirrel then they eat the dog. If someone eats the squirrel then the squirrel is not rough.
The dog sees the dog.
@0: The dog eats the lion.[(triple1)] The dog is blue.[(triple2)] The dog needs the lion.[(triple3)] The dog sees the lion.[(triple4)] The dog sees the squirrel.[(triple5)] The lion eats the dog.[(triple6)] The lion is blue.[(triple7)] The lion is green.[(triple8)] The lion is rough.[(triple9)] The lion needs the dog.[(triple10)] The lion sees the squirrel.[(triple11)] The squirrel eats the dog.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel is not young.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The lion does not need the squirrel.[(((triple15 triple11) -> rule1) OR ((triple4 triple11) -> rule1))]