Anne is red. Charlie is not cold. Charlie is kind. Charlie is not quiet. Charlie is not white. Charlie is young. Erin is not quiet. Erin is not red. Erin is rough. Erin is not white. Gary is quiet. Gary is rough. All young things are not rough.
Anne is quiet.
@0: Anne is red.[(triple1)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not quiet.[(triple4)] Charlie is not white.[(triple5)] Charlie is young.[(triple6)] Erin is not quiet.[(triple7)] Erin is not red.[(triple8)] Erin is not white.[(triple10)] Erin is rough.[(triple9)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] @1: Charlie is not rough.[(((triple6) -> rule1))]