The dog eats the lion. The lion visits the squirrel. The squirrel is cold. The tiger is blue. If something visits the tiger and the tiger is blue then it visits the squirrel. If something visits the dog then the dog sees the tiger. If the dog visits the lion then the lion is green.
The dog does not visit the squirrel.
@0: The dog eats the lion.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel is cold.[(triple3)] The tiger is blue.[(triple4)]