The cat is nice. All nice things are round. All nice things are green. If something is round then it is nice. Big things are young. All nice things are round. All big things are young. If something is nice and young then it is big. If something is nice and young then it is big.
The cat is not nice.