The bear is blue. The bear is cold. The bear is kind. The bear is rough. The bear is round. If the bear is rough then the bear is round. Cold things are kind.
The bear is kind.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3 OR ((triple2) -> rule2))] The bear is rough.[(triple4)] The bear is round.[(triple5 OR ((triple4) -> rule1))]