Anne is blue. Anne is kind. Fiona is green. Fiona is quiet. Gary is kind. Gary is round. Gary is smart. Gary is young. Harry is blue. Harry is kind. Harry is round. Harry is smart. If someone is young and smart then they are blue.
Harry is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Gary is kind.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] Gary is young.[(triple8)] Harry is blue.[(triple9)] Harry is kind.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Gary is blue.[(((triple8 triple7) -> rule1))]