The bear is blue. The bear is green. The bear is kind. The bear is red. The bear is round. If something is green then it is red.
The bear is not red.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4 OR ((triple2) -> rule1))] The bear is round.[(triple5)]