The cat chases the lion. The cat is red. The cat likes the dog. The dog does not chase the lion. The dog needs the lion. The lion does not like the squirrel. The lion needs the dog. The squirrel likes the dog. The squirrel needs the cat. The squirrel needs the dog. If someone chases the cat then the cat does not need the dog. If the cat chases the lion then the cat chases the squirrel. If someone chases the squirrel and the squirrel chases the dog then the dog likes the squirrel. If someone likes the squirrel and they need the dog then the squirrel is not young. If someone likes the dog and they do not need the lion then they do not chase the squirrel. If someone chases the squirrel then they are green. If someone needs the lion and the lion likes the squirrel then they are green. If someone chases the squirrel then the squirrel chases the dog.
The cat chases the squirrel.
@0: The cat chases the lion.[(triple1)] The cat is red.[(triple2)] The cat likes the dog.[(triple3)] The dog does not chase the lion.[(triple4)] The dog needs the lion.[(triple5)] The lion does not like the squirrel.[(triple6)] The lion needs the dog.[(triple7)] The squirrel likes the dog.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel needs the dog.[(triple10)] @1: The cat chases the squirrel.[(((triple1) -> rule2))] @2: The cat is green.[(((((triple1) -> rule2)) -> rule6))] The squirrel chases the dog.[(((((triple1) -> rule2)) -> rule8))] @3: The dog likes the squirrel.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule8)) -> rule3))]