Anne is not blue. Anne is not nice. Anne is round. Charlie is blue. Charlie is nice. Charlie is not young. Erin is nice. Erin is not quiet. Erin is not round. Gary is quiet. Gary is round. Gary is young. If someone is rough and not blue then they are kind. If someone is blue then they are kind. If Anne is rough and Anne is not blue then Anne is nice.
Anne is round.
@0: Anne is not blue.[(triple1)] Anne is not nice.[(triple2)] Anne is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is nice.[(triple5)] Charlie is not young.[(triple6)] Erin is nice.[(triple7)] Erin is not quiet.[(triple8)] Erin is not round.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Charlie is kind.[(((triple4) -> rule2))]