The bear is big. The bear is blue. The bear likes the dog. The cat chases the dog. The cat is big. The cat does not like the bear. The cat sees the bear. The dog is blue. The dog is cold. The dog is nice. The dog likes the bear. The dog likes the cat. The lion chases the dog. The lion is kind. The lion likes the bear. The lion sees the bear. Kind people are nice. If someone sees the cat then the cat does not like the bear. If someone chases the dog then they are kind. If the lion is kind and the lion chases the cat then the cat does not see the lion. If someone likes the dog then they chase the dog. If the dog does not chase the lion then the lion is kind.
The dog is not kind.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear likes the dog.[(triple3)] The cat chases the dog.[(triple4)] The cat does not like the bear.[(triple6)] The cat is big.[(triple5)] The cat sees the bear.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog is nice.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the cat.[(triple12)] The lion chases the dog.[(triple13)] The lion is kind.[(triple14 OR ((triple13) -> rule3))] The lion likes the bear.[(triple15)] The lion sees the bear.[(triple16)] @1: The bear chases the dog.[(((triple3) -> rule5))] The cat is kind.[(((triple4) -> rule3))] The lion is nice.[(((triple14) -> rule1) OR ((((triple13) -> rule3)) -> rule1))] @2: The bear is kind.[(((((triple3) -> rule5)) -> rule3))] The cat is nice.[(((((triple4) -> rule3)) -> rule1))] @3: The bear is nice.[(((((((triple3) -> rule5)) -> rule3)) -> rule1))]