The bear is young. If something is kind then it is round. Round, green things are kind. Young things are cold. If the bear is round then the bear is young. If something is young and green then it is kind. All round, cold things are kind. All kind things are green. If the bear is green then the bear is kind.
The bear is not kind.
@0: The bear is young.[(triple1)] @1: The bear is cold.[(((triple1) -> rule3))]