The bear is big. The bear is green. The bear is nice. Nice things are red. If the bear is nice and the bear is red then the bear is cold.
The bear does not visit the bear.
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] @1: The bear is red.[(((triple3) -> rule1))] @2: The bear is cold.[(((triple3 ((triple3) -> rule1)) -> rule2))]