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