Charlie is cold. Fiona is blue. Fiona is smart. If something is smart and green then it is young. If Fiona is red and Fiona is round then Fiona is young. If Charlie is blue then Charlie is red. All blue things are cold. All round, cold things are smart. If something is cold and smart then it is green.
Fiona is green.
@0: Charlie is cold.[(triple1)] Fiona is blue.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule4))] @2: Fiona is green.[(((((triple2) -> rule4) triple3) -> rule6))] @3: Fiona is young.[(((triple3 ((((triple2) -> rule4) triple3) -> rule6)) -> rule1))]