The cat chases the lion. The cat is big. The cat is kind. The cat needs the dog. The dog does not chase the cat. The dog is cold. The dog sees the lion. The lion does not chase the dog. The lion needs the dog. The lion sees the cat. If someone needs the dog then they chase the cat. If the dog chases the lion and the dog sees the lion then the lion chases the dog. If someone is green then they see the lion. If someone sees the cat then they need the lion. If the lion sees the cat and the cat sees the dog then the dog is not kind. If someone needs the lion then the lion is green. If someone needs the cat then they need the dog. If someone is big and they see the dog then they are kind.
The dog is not kind.
@0: The cat chases the lion.[(triple1)] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat needs the dog.[(triple4)] The dog does not chase the cat.[(triple5)] The dog is cold.[(triple6)] The dog sees the lion.[(triple7)] The lion does not chase the dog.[(triple8)] The lion needs the dog.[(triple9)] The lion sees the cat.[(triple10)] @1: The cat chases the cat.[(((triple4) -> rule1))] The lion chases the cat.[(((triple9) -> rule1))] The lion needs the lion.[(((triple10) -> rule4))] @2: The lion is green.[(((((triple10) -> rule4)) -> rule6))] @3: The lion sees the lion.[(((((((triple10) -> rule4)) -> rule6)) -> rule3))]