The cat is not young. If the cat is young then the cat is red. If the cat is young and the cat is kind then the cat is red. If the cat is round and the cat is not green then the cat is red. If someone is green and young then they are red. If someone is green then they are red. If someone is kind and not young then they are round. If someone is kind and young then they are round. All young people are kind.
The cat is not young.
@0: The cat is not young.[(triple1)]