Charlie is smart. Fiona is quiet. Gary is round. Harry is smart. If Fiona is blue then Fiona is cold. Green, blue things are young. All smart, round things are quiet. If something is round and cold then it is green. Cold things are young. If something is quiet then it is blue.
Fiona is not quiet.
@0: Charlie is smart.[(triple1)] Fiona is quiet.[(triple2)] Gary is round.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule6))] @2: Fiona is cold.[(((((triple2) -> rule6)) -> rule1))] @3: Fiona is young.[(((((((triple2) -> rule6)) -> rule1)) -> rule5))]