The bear is red. If the bear is green then the bear is rough. All cold people are not rough. If the bear is green and the bear is round then the bear is red. If the bear is rough and the bear is round then the bear is cold. If the bear is rough then the bear is cold. If someone is rough and cold then they are red. If someone is red then they are round. If someone is rough then they are round.
The bear is red.
@0: The bear is red.[(triple1)] @1: The bear is round.[(((triple1) -> rule7))]