The cat visits the dog. The dog is red. The lion is kind. The mouse is nice. If something visits the lion and the lion is kind then it visits the mouse. If something is nice and it sees the dog then the dog sees the lion.
The cat visits the dog.
@0: The cat visits the dog.[(triple1)] The dog is red.[(triple2)] The lion is kind.[(triple3)] The mouse is nice.[(triple4)]