The bear is blue. The bear is not cold. The bear is green. The bear is nice. The bear is young. All cold, nice things are blue. Green, young things are blue. If the bear is green and the bear is cold then the bear is blue.
The bear eats the bear.
@0: The bear is blue.[(triple1 OR ((triple3 triple5) -> rule2))] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is not cold.[(triple2)] The bear is young.[(triple5)]