The dog does not chase the lion. The dog chases the squirrel. The dog is not big. The dog needs the lion. The dog visits the lion. The dog visits the squirrel. The lion chases the dog. The lion is kind. The lion does not need the dog. The lion does not need the squirrel. The lion visits the squirrel. The squirrel does not chase the lion. The squirrel is not big. The squirrel needs the dog. The squirrel visits the lion. If someone needs the lion and the lion needs the dog then they chase the squirrel. If the squirrel is cold and the squirrel visits the lion then the squirrel does not visit the dog. If someone needs the squirrel then they visit the dog. If someone chases the lion then they visit the dog. If someone is big then they chase the lion. If someone chases the dog then they are big.
The lion does not visit the dog.
@0: The dog chases the squirrel.[(triple2)] The dog does not chase the lion.[(triple1)] The dog is not big.[(triple3)] The dog needs the lion.[(triple4)] The dog visits the lion.[(triple5)] The dog visits the squirrel.[(triple6)] The lion chases the dog.[(triple7)] The lion does not need the dog.[(triple9)] The lion does not need the squirrel.[(triple10)] The lion is kind.[(triple8)] The lion visits the squirrel.[(triple11)] The squirrel does not chase the lion.[(triple12)] The squirrel is not big.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion is big.[(((triple7) -> rule6))] @2: The lion chases the lion.[(((((triple7) -> rule6)) -> rule5))] @3: The lion visits the dog.[(((((((triple7) -> rule6)) -> rule5)) -> rule4))]