The bear is big. The bear is not green. The bear is kind. The bear is not red. The bear is young. If something is young then it is kind. Green things are kind. All green, young things are big.
The bear visits the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple3 OR ((triple5) -> rule1))] The bear is not green.[(triple2)] The bear is not red.[(triple4)] The bear is young.[(triple5)]