The bear visits the cow. The cow is big. The cow is round. The cow needs the squirrel. The squirrel is young. The squirrel does not see the cow. The squirrel visits the bear. If someone needs the squirrel and they are not red then the squirrel is big. If someone visits the bear then the bear visits the squirrel. If someone needs the cow then the cow sees the squirrel. If someone sees the squirrel and the squirrel visits the bear then the bear needs the cow. If someone sees the squirrel and the squirrel needs the cow then the squirrel does not visit the cow. If someone needs the cow then they need the squirrel. If the cow visits the squirrel and the cow is not round then the cow sees the bear. If someone sees the squirrel then the squirrel does not see the cow.
The bear does not need the cow.
@0: The bear visits the cow.[(triple1)] The cow is big.[(triple2)] The cow is round.[(triple3)] The cow needs the squirrel.[(triple4)] The squirrel does not see the cow.[(triple6)] The squirrel is young.[(triple5)] The squirrel visits the bear.[(triple7)] @1: The bear visits the squirrel.[(((triple7) -> rule2))]