The dog eats the lion. The dog is green. The dog is kind. The dog is red. The dog visits the squirrel. The lion chases the squirrel. The lion eats the dog. The lion eats the squirrel. The lion is green. The squirrel chases the dog. The squirrel chases the lion. The squirrel does not eat the lion. The squirrel is blue. The squirrel is rough. The squirrel visits the dog. The squirrel visits the lion. If something chases the lion and the lion is not kind then the lion chases the squirrel. If the lion eats the dog then the dog visits the squirrel. If the squirrel eats the lion then the lion is green. If something is blue and it eats the dog then it does not visit the dog. If something is rough then it does not eat the lion. If something chases the squirrel and it is blue then the squirrel does not chase the dog. If something is blue and not green then it chases the squirrel. If something visits the squirrel and it is not rough then it does not chase the squirrel.
The squirrel does not eat the lion.
@0: The dog eats the lion.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4)] The dog visits the squirrel.[(triple5 OR ((triple7) -> rule2))] The lion chases the squirrel.[(triple6)] The lion eats the dog.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is green.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel does not eat the lion.[(triple12 OR ((triple14) -> rule5))] The squirrel is blue.[(triple13)] The squirrel is rough.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the lion.[(triple16)]