The bear is green. The bear is kind. The bear is rough. The bear is round. The bear is not young. If the bear is kind and the bear is not rough then the bear is not green. If someone is green then they are not young. If the bear is young and the bear is not rough then the bear is kind.
The bear does not eat the bear.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is not young.[(triple5 OR ((triple1) -> rule2))] The bear is rough.[(triple3)] The bear is round.[(triple4)]