Bob is quiet. Bob is red. Charlie is red. Charlie is not white. Erin is blue. Erin is quiet. Gary is not big. Kind people are not white. All blue, big people are quiet.
Charlie is not quiet.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is not white.[(triple4)] Charlie is red.[(triple3)] Erin is blue.[(triple5)] Erin is quiet.[(triple6)] Gary is not big.[(triple7)]