Bob is red. Bob is young. Charlie is not white. Charlie is young. Erin is not quiet. Erin is red. Erin is rough. Erin is young. Gary is not blue. Gary is quiet. All young people are not kind. All blue, rough people are not kind.
Gary is not blue.
@0: Bob is red.[(triple1)] Bob is young.[(triple2)] Charlie is not white.[(triple3)] Charlie is young.[(triple4)] Erin is not quiet.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Erin is young.[(triple8)] Gary is not blue.[(triple9)] Gary is quiet.[(triple10)] @1: Bob is not kind.[(((triple2) -> rule1))] Charlie is not kind.[(((triple4) -> rule1))] Erin is not kind.[(((triple8) -> rule1))]