The cow is young. If the cow is blue then the cow is not young. Young, big things are not round. All green things are young. All blue, round things are green. If something is big then it is green. Big, blue things are green.
The cow is young.
@0: The cow is young.[(triple1)]