The bear is blue. The bear needs the lion. The bear sees the dog. The dog eats the bear. The dog eats the lion. The dog is green. The dog sees the lion. The lion eats the dog. The lion is kind. The lion sees the bear. If someone needs the lion and the lion is blue then they see the dog. If someone sees the bear then they are kind. If someone needs the lion then the lion eats the dog.
The dog eats the bear.
@0: The bear is blue.[(triple1)] The bear needs the lion.[(triple2)] The bear sees the dog.[(triple3)] The dog eats the bear.[(triple4)] The dog eats the lion.[(triple5)] The dog is green.[(triple6)] The dog sees the lion.[(triple7)] The lion eats the dog.[(triple8 OR ((triple2) -> rule3))] The lion is kind.[(triple9 OR ((triple10) -> rule2))] The lion sees the bear.[(triple10)]