The cat is big. The cat is not green. The cat is not kind. The cat is red. The cat is not young. All green people are young. If someone is kind and not green then they are red. If someone is green then they are kind.
The cat is kind.
@0: The cat is big.[(triple1)] The cat is not green.[(triple2)] The cat is not kind.[(triple3)] The cat is not young.[(triple5)] The cat is red.[(triple4)]