The bear chases the dog. The bear needs the cat. The bear sees the cat. The cat chases the cow. The cat chases the dog. The cat is nice. The cat needs the cow. The cat needs the dog. The cat sees the cow. The cat sees the dog. The cow chases the dog. The cow needs the bear. The cow sees the cat. The dog chases the cat. The dog is blue. If someone sees the cat then the cat needs the cow. If someone chases the bear then they are kind. If someone needs the dog then the dog chases the bear. If someone needs the cat then the cat is blue. If someone sees the bear and the bear chases the cow then the bear chases the cat. All kind people are nice.
The dog does not see the cat.
@0: The bear chases the dog.[(triple1)] The bear needs the cat.[(triple2)] The bear sees the cat.[(triple3)] The cat chases the cow.[(triple4)] The cat chases the dog.[(triple5)] The cat is nice.[(triple6)] The cat needs the cow.[(triple7 OR ((triple13) -> rule1) OR ((triple3) -> rule1))] The cat needs the dog.[(triple8)] The cat sees the cow.[(triple9)] The cat sees the dog.[(triple10)] The cow chases the dog.[(triple11)] The cow needs the bear.[(triple12)] The cow sees the cat.[(triple13)] The dog chases the cat.[(triple14)] The dog is blue.[(triple15)] @1: The cat is blue.[(((triple2) -> rule4))] The dog chases the bear.[(((triple8) -> rule3))] @2: The dog is kind.[(((((triple8) -> rule3)) -> rule2))] @3: The dog is nice.[(((((((triple8) -> rule3)) -> rule2)) -> rule6))]