The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is young. If the bear is big and the bear is green then the bear is young. If someone is blue then they are big.
The bear is not green.
@0: The bear is big.[(triple1 OR ((triple2) -> rule2))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is young.[(triple5 OR ((triple1 triple4) -> rule1) OR ((((triple2) -> rule2) triple4) -> rule1))]