The bear is big. Big people are rough. If the bear is kind and the bear is young then the bear is not rough. Red people are young. All big, rough people are kind. All young, kind people are red. All rough, kind people are not red.
The bear visits the bear.
@0: The bear is big.[(triple1)] @1: The bear is rough.[(((triple1) -> rule1))] @2: The bear is kind.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: The bear is not red.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6))]