The cat is big. The cat is blue. The cat is green. The cat is red. The cat is young. If something is red and not big then it is not young.
The cat is not green.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)]