The bear is cold. The bear needs the dog. The dog is cold. If something is big then it needs the dog. If something is cold and big then it needs the dog. If something is rough and it likes the bear then the bear eats the dog. If something needs the dog then it likes the dog. If something is big and it likes the dog then the dog needs the bear. If something needs the dog and the dog is nice then it eats the bear. If something likes the dog then it eats the dog. If the bear eats the dog and the bear needs the dog then the dog eats the bear.
The dog needs the bear.
@0: The bear is cold.[(triple1)] The bear needs the dog.[(triple2)] The dog is cold.[(triple3)] @1: The bear likes the dog.[(((triple2) -> rule4))] @2: The bear eats the dog.[(((((triple2) -> rule4)) -> rule7))] @3: The dog eats the bear.[(((((((triple2) -> rule4)) -> rule7) triple2) -> rule8))]