The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is young. If something is young then it is nice.
The bear is not young.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3 OR ((triple5) -> rule1))] The bear is red.[(triple4)] The bear is young.[(triple5)]