The bear is kind. The bear is red. The bear likes the cat. The bear likes the dog. The cat chases the bear. The cat eats the dog. The cat is round. The dog chases the cat. The dog is red. The dog likes the bear. The dog likes the cat. The dog likes the tiger. The tiger chases the dog. The tiger is round. The tiger likes the cat. If someone likes the cat then the cat does not chase the tiger. If someone eats the cat then they do not eat the tiger. If someone chases the tiger and they do not like the dog then the dog does not eat the cat.
The bear is red.
@0: The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear likes the cat.[(triple3)] The bear likes the dog.[(triple4)] The cat chases the bear.[(triple5)] The cat eats the dog.[(triple6)] The cat is round.[(triple7)] The dog chases the cat.[(triple8)] The dog is red.[(triple9)] The dog likes the bear.[(triple10)] The dog likes the cat.[(triple11)] The dog likes the tiger.[(triple12)] The tiger chases the dog.[(triple13)] The tiger is round.[(triple14)] The tiger likes the cat.[(triple15)] @1: The cat does not chase the tiger.[(((triple11) -> rule1) OR ((triple15) -> rule1) OR ((triple3) -> rule1))]