The bear eats the dog. The bear eats the rabbit. The bear is round. The bear needs the rabbit. The bear needs the tiger. The bear sees the rabbit. The dog eats the bear. The rabbit eats the tiger. The rabbit is round. The tiger eats the bear. The tiger is cold. The tiger is young. If something eats the tiger then the tiger needs the dog. If the bear sees the dog and the dog eats the tiger then the dog eats the bear. If something eats the bear then it sees the tiger. If the tiger sees the rabbit then the rabbit eats the bear. If something eats the bear and the bear sees the rabbit then it sees the dog. If something sees the dog then it sees the rabbit.
The rabbit does not eat the bear.
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is round.[(triple3)] The bear needs the rabbit.[(triple4)] The bear needs the tiger.[(triple5)] The bear sees the rabbit.[(triple6)] The dog eats the bear.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is round.[(triple9)] The tiger eats the bear.[(triple10)] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] @1: The dog sees the dog.[(((triple7 triple6) -> rule5))] The dog sees the tiger.[(((triple7) -> rule3))] The tiger needs the dog.[(((triple8) -> rule1))] The tiger sees the dog.[(((triple10 triple6) -> rule5))] The tiger sees the tiger.[(((triple10) -> rule3))] @2: The dog sees the rabbit.[(((((triple7 triple6) -> rule5)) -> rule6))] The tiger sees the rabbit.[(((((triple10 triple6) -> rule5)) -> rule6))] @3: The rabbit eats the bear.[(((((((triple10 triple6) -> rule5)) -> rule6)) -> rule4))] @4: The rabbit sees the dog.[(((((((((triple10 triple6) -> rule5)) -> rule6)) -> rule4) triple6) -> rule5))] The rabbit sees the tiger.[(((((((((triple10 triple6) -> rule5)) -> rule6)) -> rule4)) -> rule3))] @5: The rabbit sees the rabbit.[(((((((((((triple10 triple6) -> rule5)) -> rule6)) -> rule4) triple6) -> rule5)) -> rule6))]