The bear chases the dog. The bear is green. The bear is nice. The bear visits the dog. The dog chases the bear. The dog is big. The dog is green. The dog is nice. The dog is rough. The dog likes the bear. If something is green and it visits the bear then it is nice. If something visits the dog then it chases the dog. If something likes the bear then the bear likes the dog.
The bear is blue.
@0: The bear chases the dog.[(triple1 OR ((triple4) -> rule2))] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear visits the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog is big.[(triple6)] The dog is green.[(triple7)] The dog is nice.[(triple8)] The dog is rough.[(triple9)] The dog likes the bear.[(triple10)] @1: The bear likes the dog.[(((triple10) -> rule3))]