The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear is round. If someone is kind then they are rough.
The bear is rough.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4 OR ((triple3) -> rule1))] The bear is round.[(triple5)]