The cow is nice. The dog needs the cow. The lion visits the rabbit. The rabbit is kind. If someone visits the cow then they are nice.
The cow is not nice.
@0: The cow is nice.[(triple1)] The dog needs the cow.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit is kind.[(triple4)]