The bear is blue. The bear is kind. The bear sees the tiger. The dog does not chase the bear. The dog does not chase the tiger. The dog is big. The dog is kind. The dog is nice. The dog is rough. The dog sees the bear. The dog sees the tiger. The tiger eats the bear. The tiger is not big. The tiger is blue. The tiger is kind. The tiger is not rough. If someone eats the bear then the bear eats the dog. If someone eats the dog and the dog is big then they chase the bear. If someone is blue and they chase the bear then they do not chase the tiger. If someone sees the dog then the dog is blue. If someone chases the bear and they chase the dog then the bear sees the tiger. If someone eats the dog and they see the tiger then they see the dog. If someone chases the tiger then they eat the dog. If someone eats the dog then they are not big.
The dog eats the tiger.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear sees the tiger.[(triple3)] The dog does not chase the bear.[(triple4)] The dog does not chase the tiger.[(triple5)] The dog is big.[(triple6)] The dog is kind.[(triple7)] The dog is nice.[(triple8)] The dog is rough.[(triple9)] The dog sees the bear.[(triple10)] The dog sees the tiger.[(triple11)] The tiger eats the bear.[(triple12)] The tiger is blue.[(triple14)] The tiger is kind.[(triple15)] The tiger is not big.[(triple13)] The tiger is not rough.[(triple16)] @1: The bear eats the dog.[(((triple12) -> rule1))] @2: The bear chases the bear.[(((((triple12) -> rule1) triple6) -> rule2))] The bear is not big.[(((((triple12) -> rule1)) -> rule8))] The bear sees the dog.[(((((triple12) -> rule1) triple3) -> rule6))] @3: The bear does not chase the tiger.[(((triple1 ((((triple12) -> rule1) triple6) -> rule2)) -> rule3))] The dog is blue.[(((((((triple12) -> rule1) triple3) -> rule6)) -> rule4))]