The bear eats the dog. The bear is green. The bear is kind. The bear likes the dog. The bear sees the dog. The dog eats the bear. The dog is green. The dog is rough. The dog is round. The dog sees the bear. If something likes the dog then it eats the dog.
The bear sees the bear.
@0: The bear eats the dog.[(triple1 OR ((triple4) -> rule1))] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog eats the bear.[(triple6)] The dog is green.[(triple7)] The dog is rough.[(triple8)] The dog is round.[(triple9)] The dog sees the bear.[(triple10)]