The bear chases the dog. The bear eats the dog. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is young. The bear sees the dog. The dog chases the bear. The dog is nice. The dog is young. The dog sees the bear. If the dog sees the bear then the bear eats the dog.
The dog does not eat the dog.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple12) -> rule1))] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is red.[(triple6)] The bear is young.[(triple7)] The bear sees the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog is nice.[(triple10)] The dog is young.[(triple11)] The dog sees the bear.[(triple12)]