The cow is not blue. The cow is green. The cow is not kind. The cow is not nice. The cow is not rough. Blue, nice things are rough. All nice, kind things are rough. Rough, green things are not blue. All blue things are kind. If the cow is kind and the cow is blue then the cow is not rough. If something is kind and nice then it is green. If something is blue and not nice then it is green. All kind things are not green.
The cow is nice.
@0: The cow is green.[(triple2)] The cow is not blue.[(triple1)] The cow is not kind.[(triple3)] The cow is not nice.[(triple4)] The cow is not rough.[(triple5)]