The bear eats the squirrel. The bear is not kind. The cow eats the bear. The cow eats the squirrel. The cow is not kind. The cow does not see the bear. The cow sees the dog. The cow visits the squirrel. The dog is kind. The dog is red. The dog sees the bear. The squirrel eats the dog. If the dog sees the squirrel and the squirrel does not eat the cow then the cow eats the bear. If someone eats the bear and they are not kind then the bear is red. If someone visits the cow and they do not visit the bear then the bear is blue. If someone is kind and they visit the cow then they see the bear. If someone eats the squirrel then the squirrel is blue. If someone sees the cow then the cow visits the dog.
The bear is not blue.
@0: The bear eats the squirrel.[(triple1)] The bear is not kind.[(triple2)] The cow does not see the bear.[(triple6)] The cow eats the bear.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is not kind.[(triple5)] The cow sees the dog.[(triple7)] The cow visits the squirrel.[(triple8)] The dog is kind.[(triple9)] The dog is red.[(triple10)] The dog sees the bear.[(triple11)] The squirrel eats the dog.[(triple12)] @1: The bear is red.[(((triple3 triple5) -> rule2))] The squirrel is blue.[(((triple1) -> rule5) OR ((triple4) -> rule5))]