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