Bob is not kind. Charlie is blue. Charlie is not green. Charlie is rough. Charlie is white. Erin is not kind. Erin is quiet. Erin is red. Gary is kind. Gary is red. If someone is kind and quiet then they are red. If someone is green then they are blue.
Erin is kind.
@0: Bob is not kind.[(triple1)] Charlie is blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is not kind.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10)]