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