Anne is cold. Anne is green. Anne is quiet. Anne is round. Anne is smart. Anne is young. Charlie is cold. Charlie is rough. Charlie is round. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Harry is cold. Harry is rough. Green things are quiet.
Harry is not quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple2) -> rule1))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Charlie is cold.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Fiona is cold.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is young.[(triple14)] Harry is cold.[(triple15)] Harry is rough.[(triple16)]