Anne is cold. Anne is kind. Anne is nice. Anne is round. Anne is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is round. Charlie is smart. Charlie is young. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is young. Blue, nice things are kind. All smart, nice things are round.
Charlie is nice.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Charlie is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is kind.[(((triple12 triple14) -> rule1))]