The cat is blue. Young things are cold. All round, kind things are young. If something is young then it is cold. If the cat is kind then the cat is round. If something is cold then it is round. Blue things are cold.
The cat is cold.
@0: The cat is blue.[(triple1)] @1: The cat is cold.[(((triple1) -> rule6))] @2: The cat is round.[(((((triple1) -> rule6)) -> rule5))]