The bear is kind. The bear needs the tiger. The dog eats the bear. The dog needs the bear. The dog needs the tiger. The dog sees the tiger. The tiger needs the dog. If something sees the dog then the dog is green. If something is blue then it eats the tiger. If something needs the dog then it needs the tiger. If something is green then it sees the bear. If the bear sees the dog then the bear is kind. If something is red then it sees the dog. If something needs the tiger then it is blue. If something sees the tiger then the tiger eats the dog.
The dog does not see the bear.
@0: The bear is kind.[(triple1)] The bear needs the tiger.[(triple2)] The dog eats the bear.[(triple3)] The dog needs the bear.[(triple4)] The dog needs the tiger.[(triple5)] The dog sees the tiger.[(triple6)] The tiger needs the dog.[(triple7)] @1: The bear is blue.[(((triple2) -> rule7))] The dog is blue.[(((triple5) -> rule7))] The tiger eats the dog.[(((triple6) -> rule8))] The tiger needs the tiger.[(((triple7) -> rule3))] @2: The bear eats the tiger.[(((((triple2) -> rule7)) -> rule2))] The dog eats the tiger.[(((((triple5) -> rule7)) -> rule2))] The tiger is blue.[(((((triple7) -> rule3)) -> rule7))] @3: The tiger eats the tiger.[(((((((triple7) -> rule3)) -> rule7)) -> rule2))]