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