The bear eats the squirrel. The bear visits the squirrel. The dog is blue. The dog is kind. The dog visits the bear. The dog visits the squirrel. The squirrel chases the dog. The squirrel eats the bear. The squirrel eats the dog. The squirrel is big. The squirrel does not visit the bear. The squirrel visits the dog. If someone chases the dog then they are not blue. If the bear does not visit the dog then the bear chases the dog. If the bear eats the squirrel and the bear is not big then the squirrel does not chase the bear. If someone eats the bear then the bear is not round. If the bear chases the squirrel then the bear is blue. If someone eats the bear then they chase the squirrel.
The bear does not chase the squirrel.
@0: The bear eats the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The dog is blue.[(triple3)] The dog is kind.[(triple4)] The dog visits the bear.[(triple5)] The dog visits the squirrel.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel does not visit the bear.[(triple11)] The squirrel eats the bear.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is big.[(triple10)] The squirrel visits the dog.[(triple12)] @1: The bear is not round.[(((triple8) -> rule4))] The squirrel chases the squirrel.[(((triple8) -> rule6))] The squirrel is not blue.[(((triple7) -> rule1))]