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 visits 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)]