The bear is round. All blue, cold people are not round. All cold people are round. If the bear is cold then the bear is blue. Blue people are cold. If the bear is blue then the bear is young. If someone is rough and not round then they are young. All blue people are young. If someone is round then they are young.
The bear is round.
@0: The bear is round.[(triple1)] @1: The bear is young.[(((triple1) -> rule8))]