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 squirrel does not need the tiger.
@0: The cow is round.[(triple1)] The lion visits the tiger.[(triple2)] The squirrel needs the tiger.[(triple3)] The tiger sees the cow.[(triple4)]