The bear is blue. The bear is young. The bear likes the cow. The bear likes the lion. The bear needs the cow. The bear visits the cow. The cow is red. The cow is round. The cow likes the bear. The cow needs the bear. The lion is nice. The lion is young. The lion likes the bear. The lion needs the cow. The lion visits the cow. If something visits the bear and the bear is red then the bear visits the cow.
The bear does not need the lion.
@0: The bear is blue.[(triple1)] The bear is young.[(triple2)] The bear likes the cow.[(triple3)] The bear likes the lion.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the cow.[(triple6)] The cow is red.[(triple7)] The cow is round.[(triple8)] The cow likes the bear.[(triple9)] The cow needs the bear.[(triple10)] The lion is nice.[(triple11)] The lion is young.[(triple12)] The lion likes the bear.[(triple13)] The lion needs the cow.[(triple14)] The lion visits the cow.[(triple15)]