The bear is big. The bear is nice. The bear is rough. If someone is nice and big then they are blue. If the bear is blue then the bear is nice. All big, cold people are blue. All nice people are blue. If someone is cold and big then they are blue. All rough, nice people are blue.
The bear does not need the bear.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] @1: The bear is blue.[(((triple2) -> rule4) OR ((triple2 triple1) -> rule1) OR ((triple3 triple2) -> rule6))]