The bear is green. The bear is nice. The bear sees the dog. The bear sees the rabbit. The bear visits the dog. The bear visits the rabbit. The dog is round. The dog sees the rabbit. The dog visits the rabbit. The rabbit sees the bear. Blue people are nice. If someone sees the bear then the bear eats the rabbit. If someone eats the bear then they see the bear.
The bear does not see the bear.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear sees the dog.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the dog.[(triple5)] The bear visits the rabbit.[(triple6)] The dog is round.[(triple7)] The dog sees the rabbit.[(triple8)] The dog visits the rabbit.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear eats the rabbit.[(((triple10) -> rule2))]