Anne is kind. Anne is quiet. Anne is smart. Anne is white. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Gary is kind. Gary is smart. Gary is white. If something is rough then it is blue. If Charlie is rough and Charlie is young then Charlie is kind.
Anne is not blue.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Erin is young.[(triple13)] Gary is kind.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Charlie is blue.[(((triple6) -> rule1))] Erin is blue.[(((triple11) -> rule1))]