The bear is blue. The bear is cold. The bear is kind. The bear is rough. The bear is round. If someone is rough and kind then they are blue. Kind, rough people are blue. All cold, kind people are blue.
The bear is not cold.
@0: The bear is blue.[(triple1 OR ((triple2 triple3) -> rule3) OR ((triple3 triple4) -> rule2) OR ((triple4 triple3) -> rule1))] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)]