Charlie is cold. All red things are cold. If something is cold then it is round. Quiet, rough things are red. If something is quiet then it is round. Cold, blue things are young. All round, rough things are red. If something is blue then it is round. All round things are blue.
Charlie is young.
@0: Charlie is cold.[(triple1)] @1: Charlie is round.[(((triple1) -> rule2))] @2: Charlie is blue.[(((((triple1) -> rule2)) -> rule8))] @3: Charlie is young.[(((triple1 ((((triple1) -> rule2)) -> rule8)) -> rule5))]