The bear chases the dog. The bear eats the dog. The bear is not kind. The bear is nice. The bear is red. The bear is rough. The bear is round. The bear sees the dog. The dog chases the bear. The dog is kind. The dog is rough. The dog is not round. If someone chases the bear then the bear eats the dog. If someone is kind then they chase the dog. If someone sees the dog then the dog eats the bear.
The bear sees the dog.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple9) -> rule1))] The bear is nice.[(triple4)] The bear is not kind.[(triple3)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear is round.[(triple7)] The bear sees the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog is kind.[(triple10)] The dog is not round.[(triple12)] The dog is rough.[(triple11)] @1: The dog chases the dog.[(((triple10) -> rule2))] The dog eats the bear.[(((triple8) -> rule3))]