Anne is not green. Anne is red. Anne is round. Bob is not big. Bob is not red. Bob is round. Charlie is green. If something is big then it is red. If something is kind and not green then it is not rough. Big things are rough.
Charlie is big.
@0: Anne is not green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Bob is not big.[(triple4)] Bob is not red.[(triple5)] Bob is round.[(triple6)] Charlie is green.[(triple7)]