Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Gary is green. Gary is round. If Gary is cold then Gary is quiet.
Charlie is not quiet.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)] Gary is green.[(triple15)] Gary is round.[(triple16)]