The cat is cold. Nice things are not big. All nice things are big. All red things are nice. If the cat is not big then the cat is rough. If something is rough and big then it is not cold. If something is nice and not big then it is rough.
The cat is not big.
@0: The cat is cold.[(triple1)]