The cat visits the cow. The cow visits the lion. The lion likes the cow. If the cat likes the cow then the cow is round.
The cow is not round.
@0: The cat visits the cow.[(triple1)] The cow visits the lion.[(triple2)] The lion likes the cow.[(triple3)]