The bear is cold. The bear is green. The bear is nice. The bear is rough. The bear is round. Cold, rough people are nice. If someone is nice and rough then they are cold.
The bear is round.
@0: The bear is cold.[(triple1 OR ((triple3 triple4) -> rule2))] The bear is green.[(triple2)] The bear is nice.[(triple3 OR ((triple1 triple4) -> rule1))] The bear is rough.[(triple4)] The bear is round.[(triple5)]