The bear is big. The bear is green. The bear is kind. All green, kind things are big. All young things are kind.
The bear is big.
@0: The bear is big.[(triple1 OR ((triple2 triple3) -> rule1))] The bear is green.[(triple2)] The bear is kind.[(triple3)]