The bear is big. The bear is blue. The bear is green. The bear is round. The bear is young. All blue things are young.
The bear does not need the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple2) -> rule1))]