The dog eats the lion. The dog is not rough. The dog is not round. The dog needs the lion. The dog needs the squirrel. The lion likes the dog. The lion needs the dog. The squirrel eats the lion. The squirrel is red. The squirrel is not round. The squirrel is not young. The squirrel needs the lion. If something is cold and it likes the lion then the lion eats the squirrel. If the dog needs the lion and the dog is not rough then the lion does not need the squirrel. If the dog needs the squirrel and the squirrel does not need the lion then the squirrel likes the dog. If the squirrel eats the dog and the squirrel does not need the lion then the dog needs the lion. If the dog needs the lion and the lion does not need the squirrel then the lion does not eat the dog. If something likes the lion then the lion eats the dog.
The squirrel does not like the dog.
@0: The dog eats the lion.[(triple1)] The dog is not rough.[(triple2)] The dog is not round.[(triple3)] The dog needs the lion.[(triple4)] The dog needs the squirrel.[(triple5)] The lion likes the dog.[(triple6)] The lion needs the dog.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is not round.[(triple10)] The squirrel is not young.[(triple11)] The squirrel is red.[(triple9)] The squirrel needs the lion.[(triple12)] @1: The lion does not need the squirrel.[(((triple4 triple2) -> rule2))] @2: The lion does not eat the dog.[(((triple4 ((triple4 triple2) -> rule2)) -> rule5))]