The bear likes the dog. The bear needs the dog. The dog chases the bear. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is rough. The dog likes the bear. The dog needs the bear. If someone likes the dog then they like the bear.
The bear is cold.
@0: The bear likes the dog.[(triple1)] The bear needs the dog.[(triple2)] The dog chases the bear.[(triple3)] The dog is blue.[(triple4)] The dog is cold.[(triple5)] The dog is green.[(triple6)] The dog is kind.[(triple7)] The dog is rough.[(triple8)] The dog likes the bear.[(triple9)] The dog needs the bear.[(triple10)] @1: The bear likes the bear.[(((triple1) -> rule1))]