The cow is not green. The cow is kind. The cow is not nice. The cow is red. The cow is young. If something is kind and not young then it is not nice. If something is kind and not red then it is green.
The cow chases the cow.
@0: The cow is kind.[(triple2)] The cow is not green.[(triple1)] The cow is not nice.[(triple3)] The cow is red.[(triple4)] The cow is young.[(triple5)]