The cat is cold. If the cat is cold then the cat is red. Round, kind things are red. If something is round then it is red. Kind things are cold. All red, young things are cold. Round things are kind.
The cat chases the cat.
@0: The cat is cold.[(triple1)] @1: The cat is red.[(((triple1) -> rule1))]