The cat is rough. If the cat is rough and the cat is young then the cat is kind. If someone is young and big then they are nice. All nice people are rough. All kind, young people are big. If someone is kind then they are young. If the cat is big then the cat is rough.
The cat is not nice.
@0: The cat is rough.[(triple1)]