The bear is not blue. The bear is rough. The bear does not like the cow. The bear sees the cow. The bear visits the dog. The cow is rough. The cow likes the squirrel. The cow sees the squirrel. The dog is cold. The dog is kind. The dog likes the cow. The dog likes the squirrel. The dog does not see the bear. The dog sees the squirrel. The squirrel likes the dog. The squirrel does not see the dog. If someone sees the cow then the cow likes the dog. If someone visits the squirrel then the squirrel does not like the dog. If someone likes the dog then they like the cow.
The squirrel does not visit the bear.
@0: The bear does not like the cow.[(triple3)] The bear is not blue.[(triple1)] The bear is rough.[(triple2)] The bear sees the cow.[(triple4)] The bear visits the dog.[(triple5)] The cow is rough.[(triple6)] The cow likes the squirrel.[(triple7)] The cow sees the squirrel.[(triple8)] The dog does not see the bear.[(triple13)] The dog is cold.[(triple9)] The dog is kind.[(triple10)] The dog likes the cow.[(triple11)] The dog likes the squirrel.[(triple12)] The dog sees the squirrel.[(triple14)] The squirrel does not see the dog.[(triple16)] The squirrel likes the dog.[(triple15)] @1: The cow likes the dog.[(((triple4) -> rule1))] The squirrel likes the cow.[(((triple15) -> rule3))] @2: The cow likes the cow.[(((((triple4) -> rule1)) -> rule3))]