The cat is kind. If something is big and kind then it is cold. If something is cold and big then it is kind. All young, big things are kind. Cold things are not young. If the cat is young then the cat is big. Kind things are not big.
The cat needs the cat.
@0: The cat is kind.[(triple1)] @1: The cat is not big.[(((triple1) -> rule6))]