The bear is not round. The bear likes the cow. The bear likes the squirrel. The bear sees the dog. The bear visits the cow. The cow is not blue. The cow is round. The cow likes the dog. The dog is green. The dog is nice. The dog sees the bear. The dog does not visit the bear. The dog visits the cow. The dog visits the squirrel. The squirrel is blue. The squirrel sees the bear. If something is round and not kind then it visits the squirrel. If the dog likes the squirrel then the squirrel sees the cow. If the squirrel is nice and the squirrel visits the bear then the bear is not green. If the squirrel sees the dog then the dog does not like the bear. If something visits the cow and the cow is kind then the cow likes the squirrel. If something likes the cow and the cow does not like the dog then the dog is round. If something is blue then it visits the bear. If something is kind and it likes the dog then it sees the dog.
The bear does not see the dog.
@0: The bear is not round.[(triple1)] The bear likes the cow.[(triple2)] The bear likes the squirrel.[(triple3)] The bear sees the dog.[(triple4)] The bear visits the cow.[(triple5)] The cow is not blue.[(triple6)] The cow is round.[(triple7)] The cow likes the dog.[(triple8)] The dog does not visit the bear.[(triple12)] The dog is green.[(triple9)] The dog is nice.[(triple10)] The dog sees the bear.[(triple11)] The dog visits the cow.[(triple13)] The dog visits the squirrel.[(triple14)] The squirrel is blue.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The squirrel visits the bear.[(((triple15) -> rule7))]