The bear is not big. The bear is kind. The bear is not nice. The bear is red. The bear is young. Nice things are red. If something is nice then it is red. If something is red and big then it is not nice. If something is big and not kind then it is not nice. Red things are not big. Nice things are not young. If something is red and not kind then it is not young. If something is big and not red then it is not young.
The bear does not eat the bear.
@0: The bear is kind.[(triple2)] The bear is not big.[(triple1 OR ((triple4) -> rule5))] The bear is not nice.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)]