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