The bear chases the dog. The bear chases the tiger. The bear eats the dog. The bear is blue. The bear is red. The dog chases the bear. The dog chases the tiger. The dog eats the bear. The dog eats the tiger. The dog is red. The dog likes the tiger. The tiger chases the dog. The tiger does not eat the dog. The tiger is red. The tiger is round. If someone chases the dog then they are green. If someone is red and they like the tiger then they eat the dog. If someone chases the tiger then the tiger eats the bear. If someone chases the bear and the bear chases the dog then the bear chases the tiger. If someone likes the tiger and they are not blue then they like the bear. If someone is green and they eat the dog then they eat the tiger. If someone likes the dog then the dog does not eat the tiger. If the bear chases the dog and the bear eats the tiger then the dog likes the bear.
The dog does not like the bear.
@0: The bear chases the dog.[(triple1)] The bear chases the tiger.[(triple2 OR ((triple6 triple1) -> rule4))] The bear eats the dog.[(triple3)] The bear is blue.[(triple4)] The bear is red.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the tiger.[(triple7)] The dog eats the bear.[(triple8)] The dog eats the tiger.[(triple9)] The dog is red.[(triple10)] The dog likes the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger does not eat the dog.[(triple13)] The tiger is red.[(triple14)] The tiger is round.[(triple15)] @1: The bear is green.[(((triple1) -> rule1))] The dog eats the dog.[(((triple10 triple11) -> rule2))] The tiger eats the bear.[(((triple2) -> rule3) OR ((triple7) -> rule3) OR ((((triple6 triple1) -> rule4)) -> rule3))] The tiger is green.[(((triple12) -> rule1))] @2: The bear eats the tiger.[(((((triple1) -> rule1) triple3) -> rule6))] @3: The dog likes the bear.[(((triple1 ((((triple1) -> rule1) triple3) -> rule6)) -> rule8))]