The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is young. If someone is kind and not blue then they are red. If someone is blue then they are nice.
The bear eats the bear.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3 OR ((triple1) -> rule2))] The bear is red.[(triple4)] The bear is young.[(triple5)]