The bear is blue. The bear is green. The bear is kind. The bear is not red. The bear is not rough. Blue, kind people are not red. If someone is kind and not green then they are red. If someone is rough and not blue then they are red.
The bear is green.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is not red.[(triple4 OR ((triple1 triple3) -> rule1))] The bear is not rough.[(triple5)]