Fiona is nice. Gary is cold. All quiet, cold things are not blue. If something is blue then it is cold. If something is quiet and not nice then it is not smart. If something is nice and not white then it is not smart. All cold things are quiet. All blue, smart things are quiet. If Fiona is blue and Fiona is not white then Fiona is cold. Blue things are green.
Gary is white.
@0: Fiona is nice.[(triple1)] Gary is cold.[(triple2)] @1: Gary is quiet.[(((triple2) -> rule5))] @2: Gary is not blue.[(((((triple2) -> rule5) triple2) -> rule1))]