Charlie is not furry. Charlie is green. Charlie is not kind. Charlie is red. Charlie is smart. Erin is blue. Erin is furry. Erin is not green. Erin is kind. Erin is not quiet. Erin is not red. Erin is not smart. If Charlie is not kind then Charlie is red. Red, quiet people are not green.
Charlie is not quiet.
@0: Charlie is green.[(triple2)] Charlie is not furry.[(triple1)] Charlie is not kind.[(triple3)] Charlie is red.[(triple4 OR ((triple3) -> rule1))] Charlie is smart.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple9)] Erin is not green.[(triple8)] Erin is not quiet.[(triple10)] Erin is not red.[(triple11)] Erin is not smart.[(triple12)]