Anne is big. Anne is cold. Anne is nice. Anne is rough. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is not cold. Charlie is nice. Charlie is rough. Charlie is round. Charlie is not white. Charlie is young. If someone is cold and not young then they are round.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is nice.[(triple10)] Charlie is not cold.[(triple9)] Charlie is not white.[(triple13)] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] Charlie is young.[(triple14)]