The cow is round. The lion visits the tiger. The squirrel needs the tiger. The tiger sees the cow. If something needs the lion then the lion is not red.
The cow is round.
@0: The cow is round.[(triple1)] The lion visits the tiger.[(triple2)] The squirrel needs the tiger.[(triple3)] The tiger sees the cow.[(triple4)]