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