The bear needs the cat. The cat is nice. The cat visits the bear. If the cat needs the bear and the bear visits the cat then the bear is blue.
The cat does not visit the bear.
@0: The bear needs the cat.[(triple1)] The cat is nice.[(triple2)] The cat visits the bear.[(triple3)]