Anne is big. Anne is green. Anne is nice. Anne is not rough. Anne is not round. Anne is not smart. Anne is white. Bob is nice. Bob is round. Bob is smart. Bob is white. Charlie is big. Charlie is nice. Charlie is not rough. Charlie is smart. If Anne is not green then Anne is nice.
Charlie is white.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not rough.[(triple4)] Anne is not round.[(triple5)] Anne is not smart.[(triple6)] Anne is white.[(triple7)] Bob is nice.[(triple8)] Bob is round.[(triple9)] Bob is smart.[(triple10)] Bob is white.[(triple11)] Charlie is big.[(triple12)] Charlie is nice.[(triple13)] Charlie is not rough.[(triple14)] Charlie is smart.[(triple15)]