The bear eats the cow. The bear is blue. The bear is not green. The bear does not see the lion. The cow eats the bear. The cow needs the bear. The cow sees the dog. The dog does not eat the cow. The dog does not need the lion. The dog sees the cow. The lion does not eat the cow. The lion is blue. The lion is green. The lion needs the bear. The lion needs the cow. The lion does not need the dog. If something is kind and it eats the cow then it is blue. If something is kind then it eats the cow. If something is green then it eats the lion. If the lion sees the bear and the lion eats the bear then the lion does not need the dog. If something sees the cow then the cow is kind. If something needs the dog then the dog does not need the lion. If something sees the cow then the cow needs the lion. If something needs the bear then the bear sees the dog.
The cow eats the lion.
@0: The bear does not see the lion.[(triple4)] The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is not green.[(triple3)] The cow eats the bear.[(triple5)] The cow needs the bear.[(triple6)] The cow sees the dog.[(triple7)] The dog does not eat the cow.[(triple8)] The dog does not need the lion.[(triple9)] The dog sees the cow.[(triple10)] The lion does not eat the cow.[(triple11)] The lion does not need the dog.[(triple16)] The lion is blue.[(triple12)] The lion is green.[(triple13)] The lion needs the bear.[(triple14)] The lion needs the cow.[(triple15)] @1: The bear sees the dog.[(((triple14) -> rule8) OR ((triple6) -> rule8))] The cow is kind.[(((triple10) -> rule5))] The cow needs the lion.[(((triple10) -> rule7))] The lion eats the lion.[(((triple13) -> rule3))] @2: The cow eats the cow.[(((((triple10) -> rule5)) -> rule2))] @3: The cow is blue.[(((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule2)) -> rule1))]