Anne is kind. Anne is red. Charlie is cold. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is not red. Erin is cold. Erin is furry. Erin is kind. Erin is not nice. Gary is cold. Gary is kind. Gary is not red. All quiet, kind people are nice. If someone is kind and not quiet then they are not red. If someone is green then they are furry.
Anne is not nice.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is not green.[(triple5)] Charlie is not quiet.[(triple8)] Charlie is not red.[(triple9 OR ((triple6 triple8) -> rule2))] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is not nice.[(triple13)] Gary is cold.[(triple14)] Gary is kind.[(triple15)] Gary is not red.[(triple16)]