The bear is nice. If someone is nice then they are not cold. Nice, young people are not cold.
The bear does not visit the bear.
@0: The bear is nice.[(triple1)] @1: The bear is not cold.[(((triple1) -> rule1))]