The cow likes the lion. The lion is red. The tiger visits the lion. If something visits the cow and the cow does not eat the tiger then the tiger eats the cow. If the lion likes the cow and the lion does not like the tiger then the lion visits the cow. If something visits the tiger then the tiger likes the cow.
The cow visits the tiger.
@0: The cow likes the lion.[(triple1)] The lion is red.[(triple2)] The tiger visits the lion.[(triple3)]