The bear chases the dog. The dog is big. The dog needs the bear. If someone is cold and they do not need the bear then they do not like the bear. If someone needs the bear then the bear likes the dog. If someone likes the dog then the dog does not like the bear.
The dog does not need the dog.
@0: The bear chases the dog.[(triple1)] The dog is big.[(triple2)] The dog needs the bear.[(triple3)] @1: The bear likes the dog.[(((triple3) -> rule2))] @2: The dog does not like the bear.[(((((triple3) -> rule2)) -> rule3))]