The bear is cold. The bear is nice. The bear is red. The bear is rough. The bear is round. All cold, red things are rough. All round things are nice.
The bear does not visit the bear.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2 OR ((triple5) -> rule2))] The bear is red.[(triple3)] The bear is rough.[(triple4 OR ((triple1 triple3) -> rule1))] The bear is round.[(triple5)]