The bear does not eat the cow. The bear eats the squirrel. The bear is big. The bear is blue. The bear is green. The bear is nice. The bear does not visit the cow. The bear visits the squirrel. The cow is blue. The cow is cold. The cow is green. The cow visits the bear. The squirrel chases the cow. The squirrel eats the cow. The squirrel is big. If the cow chases the squirrel and the cow does not eat the bear then the cow does not visit the bear. If the squirrel does not eat the bear then the bear visits the squirrel. If the squirrel eats the bear then the bear is green. If something chases the cow then the cow is blue. If the bear does not visit the squirrel then the squirrel chases the bear. If the squirrel is not cold and the squirrel does not visit the cow then the squirrel chases the bear.
The squirrel does not chase the bear.
@0: The bear does not eat the cow.[(triple1)] The bear does not visit the cow.[(triple7)] The bear eats the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear visits the squirrel.[(triple8)] The cow is blue.[(triple9 OR ((triple13) -> rule4))] The cow is cold.[(triple10)] The cow is green.[(triple11)] The cow visits the bear.[(triple12)] The squirrel chases the cow.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel is big.[(triple15)]