The bear is blue. The bear is cold. The bear is green. The bear is red. The bear is young. All green, red things are blue. All young things are blue.
The bear is not red.
@0: The bear is blue.[(triple1 OR ((triple5) -> rule2) OR ((triple3 triple4) -> rule1))] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)]