Charlie is kind. Charlie is rough. Charlie is not white. Erin is big. Erin is blue. Gary is blue. Gary is not round. All white people are blue. If Charlie is white then Charlie is blue. All blue, big people are kind.
Charlie is not blue.
@0: Charlie is kind.[(triple1)] Charlie is not white.[(triple3)] Charlie is rough.[(triple2)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Gary is blue.[(triple6)] Gary is not round.[(triple7)] @1: Erin is kind.[(((triple5 triple4) -> rule3))]