The bear is blue. The bear is cold. The bear is kind. The bear is rough. The bear is round. All cold people are blue. All round people are blue.
The bear is kind.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple5) -> rule2))] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)]