The lion is nice. The mouse visits the squirrel. The squirrel is blue. If something likes the lion then the lion visits the squirrel.
The lion does not visit the squirrel.
@0: The lion is nice.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel is blue.[(triple3)]