The bear is round. Young, round people are red. All rough people are red. All young people are not rough. If someone is round then they are rough. Young, round people are green. If the bear is red and the bear is round then the bear is green.
The bear is not red.
@0: The bear is round.[(triple1)] @1: The bear is rough.[(((triple1) -> rule4))] @2: The bear is red.[(((((triple1) -> rule4)) -> rule2))] @3: The bear is green.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]