Anne is blue. Anne is nice. Anne is rough. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is smart. Gary is cold. Gary is rough. Gary is round. Harry is blue. Harry is cold. Harry is rough. Harry is round. Harry is smart. Round things are smart. Round, rough things are blue.
Anne is young.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is smart.[(triple7)] Gary is cold.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is blue.[(triple11 OR ((triple14 triple13) -> rule2))] Harry is cold.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple14) -> rule1))] @1: Gary is blue.[(((triple10 triple9) -> rule2))] Gary is smart.[(((triple10) -> rule1))]