The cat is cold. If the cat is blue and the cat is young then the cat is nice. All nice things are cold. All round things are young. If the cat is blue and the cat is young then the cat is nice. If the cat is cold then the cat is nice. Young, blue things are round. All nice things are young. All round, cold things are nice.
The cat is not round.
@0: The cat is cold.[(triple1)] @1: The cat is nice.[(((triple1) -> rule5))] @2: The cat is young.[(((((triple1) -> rule5)) -> rule7))]