The bear is big. The bear is cold. The bear is red. The bear is not round. The bear is not young. If someone is big then they are not young. Young, round people are red.
The bear is cold.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is not round.[(triple4)] The bear is not young.[(triple5 OR ((triple1) -> rule1))] The bear is red.[(triple3)]