The bear is cold. If the bear is young and the bear is blue then the bear is kind. If someone is kind then they are cold. All blue, young people are cold. All cold people are blue. Young people are green. Green people are young.
The bear is not green.
@0: The bear is cold.[(triple1)] @1: The bear is blue.[(((triple1) -> rule4))]