Fiona is blue. Harry is quiet. If something is round and smart then it is blue. All big things are blue. All big things are round.
Harry is smart.
@0: Fiona is blue.[(triple1)] Harry is quiet.[(triple2)]