The bear is blue. The bear is green. The bear is kind. The bear is nice. The bear is red. If the bear is nice and the bear is not blue then the bear is not red. All kind, red things are nice. If something is nice and blue then it is red.
The bear does not like the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4 OR ((triple3 triple5) -> rule2))] The bear is red.[(triple5 OR ((triple4 triple1) -> rule3))]