The bear likes the squirrel. The bear sees the cat. The bear sees the squirrel. The cat likes the bear. The cat needs the squirrel. The cat sees the bear. The cat does not see the cow. The cow is rough. The cow is round. The cow sees the squirrel. The squirrel is cold. The squirrel is rough. The squirrel likes the cat. The squirrel does not like the cow. The squirrel needs the cat. The squirrel sees the cow. If someone sees the squirrel and the squirrel is young then the squirrel is not rough. If someone needs the bear then the bear is not young. If someone likes the cat then the cat does not see the squirrel.
The cow is not blue.
@0: The bear likes the squirrel.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the squirrel.[(triple3)] The cat does not see the cow.[(triple7)] The cat likes the bear.[(triple4)] The cat needs the squirrel.[(triple5)] The cat sees the bear.[(triple6)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow sees the squirrel.[(triple10)] The squirrel does not like the cow.[(triple14)] The squirrel is cold.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel needs the cat.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The cat does not see the squirrel.[(((triple13) -> rule3))]