The bear is big. The bear is cold. The bear is green. The bear is red. The bear is round. Cold things are big.
The bear does not see the bear.
@0: The bear is big.[(triple1 OR ((triple2) -> rule1))] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)]