The bear is not big. The bear is blue. The bear is kind. The bear is not nice. The bear is not young. If someone is big and not young then they are kind. If the bear is big then the bear is blue. All nice people are not blue. Big, kind people are blue. Kind people are blue. If someone is young then they are blue. If someone is nice and kind then they are big. If someone is nice then they are big.
The bear does not visit the bear.
@0: The bear is blue.[(triple2 OR ((triple3) -> rule5))] The bear is kind.[(triple3)] The bear is not big.[(triple1)] The bear is not nice.[(triple4)] The bear is not young.[(triple5)]