The bear is cold. The bear is rough. The bear is young. All cold, young people are rough.
The bear is rough.
@0: The bear is cold.[(triple1)] The bear is rough.[(triple2 OR ((triple1 triple3) -> rule1))] The bear is young.[(triple3)]