The cat likes the lion. The dog is cold. The dog is kind. The lion chases the dog. The lion is cold. The squirrel chases the dog. The squirrel is rough. If something is rough then it likes the lion.
The lion does not chase the dog.
@0: The cat likes the lion.[(triple1)] The dog is cold.[(triple2)] The dog is kind.[(triple3)] The lion chases the dog.[(triple4)] The lion is cold.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is rough.[(triple7)] @1: The squirrel likes the lion.[(((triple7) -> rule1))]