The bear is green. The bear is kind. The bear is red. All green people are blue. If someone is kind then they are red. Green people are kind.
The bear sees the bear.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2 OR ((triple1) -> rule3))] The bear is red.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] @1: The bear is blue.[(((triple1) -> rule1))]