Dave is nice. Fiona is round. Harry is smart. If something is blue and nice then it is round. Cold things are not round. All young things are cold. If Harry is round then Harry is blue. Round things are blue. If something is quiet and not blue then it is smart.
Harry is smart.
@0: Dave is nice.[(triple1)] Fiona is round.[(triple2)] Harry is smart.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule5))]