The cow is rough. If the cow is rough and the cow is nice then the cow is round. If something is green then it is round. If the cow is nice then the cow is rough. Big, nice things are round. Round things are big. If something is round and big then it is green.
The cow is not green.
@0: The cow is rough.[(triple1)]