The bear chases the dog. The bear is big. The bear needs the cat. The bear needs the cow. The bear sees the cow. The cat chases the cow. The cat is big. The cat is green. The cat needs the dog. The cat sees the dog. The cow is big. The dog chases the bear. The dog is big. The dog needs the cat. The dog sees the cat. The dog sees the cow. If something sees the cow and it sees the dog then the cow is green. If something is green and it needs the bear then the bear needs the cat. If the dog sees the cat and the cat chases the cow then the cat is green. If the dog chases the bear and the dog chases the cat then the cat chases the bear. If something needs the cat then it chases the cat. If something chases the bear and it is big then it sees the cat. If something is young and it chases the bear then the bear is cold. If something needs the bear and it sees the dog then the dog sees the cat.
The cat does not chase the bear.
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear needs the cat.[(triple3)] The bear needs the cow.[(triple4)] The bear sees the cow.[(triple5)] The cat chases the cow.[(triple6)] The cat is big.[(triple7)] The cat is green.[(triple8 OR ((triple15 triple6) -> rule3) OR ((((triple12 triple13) -> rule6) triple6) -> rule3))] The cat needs the dog.[(triple9)] The cat sees the dog.[(triple10)] The cow is big.[(triple11)] The dog chases the bear.[(triple12)] The dog is big.[(triple13)] The dog needs the cat.[(triple14)] The dog sees the cat.[(triple15 OR ((triple12 triple13) -> rule6))] The dog sees the cow.[(triple16)] @1: The bear chases the cat.[(((triple3) -> rule5))] The dog chases the cat.[(((triple14) -> rule5))] @2: The cat chases the bear.[(((triple12 ((triple14) -> rule5)) -> rule4))] @3: The cat sees the cat.[(((((triple12 ((triple14) -> rule5)) -> rule4) triple7) -> rule6))]