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 is not green.
@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))]