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