The cow is young. If the cow is red then the cow is green. Kind, green things are red. If something is young and kind then it is green. All young, red things are green. All red, green things are round. All green things are red. Green things are red. If something is young and red then it is kind.
The cow is not young.
@0: The cow is young.[(triple1)]