Charlie is cold. Dave is cold. Fiona is smart. Harry is young. If Fiona is quiet then Fiona is smart. If something is quiet then it is rough. Quiet, cold things are nice. If Fiona is green then Fiona is nice. If something is quiet and green then it is cold. All green things are cold. Nice, quiet things are smart. If something is young then it is cold.
Dave is not smart.
@0: Charlie is cold.[(triple1)] Dave is cold.[(triple2)] Fiona is smart.[(triple3)] Harry is young.[(triple4)] @1: Harry is cold.[(((triple4) -> rule8))]