The bear is cold. The bear likes the squirrel. The bear sees the cow. The bear does not visit the lion. The cow likes the bear. The cow sees the bear. The cow visits the bear. The cow does not visit the lion. The lion is big. The lion is cold. The lion visits the cow. The squirrel is green. The squirrel is not red. The squirrel sees the bear. The squirrel sees the lion. If the lion visits the squirrel then the squirrel does not see the bear. If the lion sees the squirrel then the lion is red.
The lion visits the bear.
@0: The bear does not visit the lion.[(triple4)] The bear is cold.[(triple1)] The bear likes the squirrel.[(triple2)] The bear sees the cow.[(triple3)] The cow does not visit the lion.[(triple8)] The cow likes the bear.[(triple5)] The cow sees the bear.[(triple6)] The cow visits the bear.[(triple7)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The lion visits the cow.[(triple11)] The squirrel is green.[(triple12)] The squirrel is not red.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the lion.[(triple15)]