The bear eats the dog. The bear eats the tiger. The bear is big. The bear needs the cow. The bear does not see the tiger. The cow needs the dog. The dog is red. The dog needs the cow. The dog sees the bear. The tiger is red. The tiger needs the cow. If someone sees the dog then they see the bear. If someone sees the tiger then the tiger eats the bear. If someone eats the bear and they are round then they are not big. If someone needs the dog then the dog eats the bear. If someone sees the cow then they eat the dog. If someone needs the dog then the dog is not green. If someone needs the dog then they are red. If someone sees the bear then they see the tiger. If the tiger eats the bear then the tiger sees the dog.
The cow does not see the bear.
@0: The bear does not see the tiger.[(triple5)] The bear eats the dog.[(triple1)] The bear eats the tiger.[(triple2)] The bear is big.[(triple3)] The bear needs the cow.[(triple4)] The cow needs the dog.[(triple6)] The dog is red.[(triple7)] The dog needs the cow.[(triple8)] The dog sees the bear.[(triple9)] The tiger is red.[(triple10)] The tiger needs the cow.[(triple11)] @1: The cow is red.[(((triple6) -> rule7))] The dog eats the bear.[(((triple6) -> rule4))] The dog is not green.[(((triple6) -> rule6))] The dog sees the tiger.[(((triple9) -> rule8))] @2: The tiger eats the bear.[(((((triple9) -> rule8)) -> rule2))] @3: The tiger sees the dog.[(((((((triple9) -> rule8)) -> rule2)) -> rule9))] @4: The tiger sees the bear.[(((((((((triple9) -> rule8)) -> rule2)) -> rule9)) -> rule1))] @5: The tiger sees the tiger.[(((((((((((triple9) -> rule8)) -> rule2)) -> rule9)) -> rule1)) -> rule8))]