The cat is big. The cat is blue. The cat is green. The cat is red. The cat is round. If the cat is not green then the cat is blue.
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 round.[(triple5)]