The bear is red. The bear is rough. The bear is round. The bear needs the squirrel. The bear visits the cow. The cow is not rough. The cow does not like the bear. The cow visits the squirrel. The squirrel is not red. The squirrel is rough. The squirrel is round. The squirrel does not like the bear. The squirrel likes the cow. The squirrel does not need the bear. The squirrel does not visit the bear. The squirrel visits the cow. If something is round then it does not need the bear. If something visits the squirrel and it needs the cow then the squirrel does not need the cow. If something likes the squirrel then it is rough.
The squirrel is round.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the cow.[(triple5)] The cow does not like the bear.[(triple7)] The cow is not rough.[(triple6)] The cow visits the squirrel.[(triple8)] The squirrel does not like the bear.[(triple12)] The squirrel does not need the bear.[(triple14 OR ((triple11) -> rule1))] The squirrel does not visit the bear.[(triple15)] The squirrel is not red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the cow.[(triple13)] The squirrel visits the cow.[(triple16)] @1: The bear does not need the bear.[(((triple3) -> rule1))]