Anne is red. Bob is nice. Charlie is red. Gary is nice. Round things are rough. If something is kind then it is rough. If Charlie is kind then Charlie is big.
Anne is not red.
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Charlie is red.[(triple3)] Gary is nice.[(triple4)]