Charlie is kind. Charlie is red. Erin is big. If Erin is red then Erin is green. All rough, big people are kind. If Charlie is blue then Charlie is rough.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Erin is big.[(triple3)]