The bear is not blue. The bear is not cold. The bear is green. The bear is nice. The bear is rough. All cold people are blue. If someone is nice then they are not cold. If someone is blue then they are not cold. If the bear is nice and the bear is blue then the bear is not green. If the bear is nice then the bear is rough. If someone is blue and not green then they are rough.
The bear eats the bear.
@0: The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is not blue.[(triple1)] The bear is not cold.[(triple2 OR ((triple4) -> rule2))] The bear is rough.[(triple5 OR ((triple4) -> rule5))]