The bear is big. The bear is cold. The bear is nice. Young, cold things are blue. Blue things are nice. If something is young then it is big. If something is nice then it is cold. If something is big and blue then it is young. All nice things are cold.
The bear is not cold.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2 OR ((triple3) -> rule4) OR ((triple3) -> rule6))] The bear is nice.[(triple3)]