The bear chases the cow. The bear chases the lion. The bear chases the squirrel. The bear is kind. The bear is red. The bear is young. The bear visits the lion. The bear visits the squirrel. The cow eats the lion. The cow is kind. The cow is red. The cow visits the bear. The lion chases the squirrel. The lion is young. The squirrel visits the cow. The squirrel visits the lion. If the squirrel chases the bear and the bear is young then the bear is blue.
The squirrel does not visit the cow.
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2)] The bear chases the squirrel.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear visits the lion.[(triple7)] The bear visits the squirrel.[(triple8)] The cow eats the lion.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The cow visits the bear.[(triple12)] The lion chases the squirrel.[(triple13)] The lion is young.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the lion.[(triple16)]