The bear is round. All round things are green. If something is green then it is cold. If something is round and green then it is cold. All green things are cold. If something is green then it is cold. If the bear is round and the bear is not green then the bear is not young. If the bear is not young then the bear is not cold. If the bear is green and the bear is cold then the bear is nice.
The bear likes the bear.
@0: The bear is round.[(triple1)] @1: The bear is green.[(((triple1) -> rule1))] @2: The bear is cold.[(((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule1)) -> rule5) OR ((triple1 ((triple1) -> rule1)) -> rule3))] @3: The bear is nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule5)) -> rule8) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule8))]