The bear is blue. The bear is green. The bear is red. All blue, red things are big. Red things are blue. If the bear is young and the bear is green then the bear is red. If the bear is blue then the bear is big. If the bear is green and the bear is red then the bear is young. If something is young then it is green.
The bear is red.
@0: The bear is blue.[(triple1 OR ((triple3) -> rule2))] The bear is green.[(triple2)] The bear is red.[(triple3)] @1: The bear is big.[(((triple1) -> rule4) OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2) triple3) -> rule1))] The bear is young.[(((triple2 triple3) -> rule5))]