The bear is big. The bear is kind. The bear is red. The bear is rough. The bear is young. All red, kind people are young. All big, red people are kind.
The bear is not big.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2 OR ((triple1 triple3) -> rule2))] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple1 triple3) -> rule2)) -> rule1))]