The bear is red. The cow likes the dog. The dog likes the bear. If someone is red and they do not like the bear then the bear is red. If someone sees the cow then they do not like the dog. If someone likes the cow and the cow needs the dog then the cow likes the dog. If someone needs the cow and the cow sees the dog then they need the dog. If someone needs the dog then the dog is not green. If someone is nice then they like the cow. If the bear is red and the bear is green then the bear needs the dog. If someone likes the bear then the bear is nice.
The cow is not rough.
@0: The bear is red.[(triple1)] The cow likes the dog.[(triple2)] The dog likes the bear.[(triple3)] @1: The bear is nice.[(((triple3) -> rule8))] @2: The bear likes the cow.[(((((triple3) -> rule8)) -> rule6))]