The bear is cold. The bear is green. The bear is red. The bear is rough. The bear is round. If the bear is red then the bear is cold. If something is rough and round then it is green.
The bear does not see the bear.
@0: The bear is cold.[(triple1 OR ((triple3) -> rule1))] The bear is green.[(triple2 OR ((triple4 triple5) -> rule2))] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)]