The bear is rough. Red things are big. If something is rough and red then it is big. All young things are red. Big, cold things are red. If something is young and not rough then it is cold. If something is young then it is cold. If the bear is big and the bear is young then the bear is red. All rough things are young.
The bear is rough.
@0: The bear is rough.[(triple1)] @1: The bear is young.[(((triple1) -> rule8))] @2: The bear is cold.[(((((triple1) -> rule8)) -> rule6))] The bear is red.[(((((triple1) -> rule8)) -> rule3))] @3: The bear is big.[(((((((triple1) -> rule8)) -> rule3)) -> rule1) OR ((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule2))]