The bear is blue. The bear is kind. The bear is rough. Green, rough people are not kind. If someone is kind then they are not big.
The bear is rough.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] @1: The bear is not big.[(((triple2) -> rule2))]