The bear is big. The bear is red. The bear is not rough. If the bear is young and the bear is cold then the bear is not red. All cold things are red. All young things are not red. If the bear is cold and the bear is red then the bear is big. If something is red then it is not young. Cold things are young. Young things are big. If something is young and not red then it is big.
The bear sees the bear.
@0: The bear is big.[(triple1)] The bear is not rough.[(triple3)] The bear is red.[(triple2)] @1: The bear is not young.[(((triple2) -> rule5))]