The bear does not eat the tiger. The dog eats the tiger. The tiger needs the dog. If someone sees the dog and they do not need the bear then they see the bear. If someone needs the dog then the dog is not cold. If someone needs the dog then they are not cold.
The bear is rough.
@0: The bear does not eat the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The tiger needs the dog.[(triple3)] @1: The dog is not cold.[(((triple3) -> rule2))] The tiger is not cold.[(((triple3) -> rule3))]