The cow visits the rabbit. The lion chases the cow. The lion is green. The lion visits the rabbit. The rabbit is green. The tiger visits the cow. The tiger visits the rabbit. If someone likes the cow and they are red then the cow visits the lion. If the tiger chases the rabbit then the tiger visits the rabbit. If someone likes the cow and the cow visits the rabbit then they visit the tiger.
The cow does not visit the tiger.
@0: The cow visits the rabbit.[(triple1)] The lion chases the cow.[(triple2)] The lion is green.[(triple3)] The lion visits the rabbit.[(triple4)] The rabbit is green.[(triple5)] The tiger visits the cow.[(triple6)] The tiger visits the rabbit.[(triple7)]