The bear is green. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is nice. The mouse is red. The mouse needs the bear. The mouse sees the bear. If something needs the mouse and it is green then it sees the mouse. If something visits the bear then the bear sees the mouse.
The bear sees the bear.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear needs the mouse.[(triple6)] The bear sees the mouse.[(triple7 OR ((triple6 triple1) -> rule1))] The bear visits the mouse.[(triple8)] The mouse is nice.[(triple9)] The mouse is red.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12)]