Anne is quiet. Fiona is nice. Gary is round. Harry is red. If something is nice then it is smart.
Gary is round.
@0: Anne is quiet.[(triple1)] Fiona is nice.[(triple2)] Gary is round.[(triple3)] Harry is red.[(triple4)] @1: Fiona is smart.[(((triple2) -> rule1))]