Charlie is blue. Charlie is furry. Charlie is not kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is white. White people are nice. If someone is furry and not blue then they are white. If someone is rough and not blue then they are round.
Erin is not nice.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple4 OR ((triple7) -> rule1))] Charlie is not kind.[(triple3)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((triple14) -> rule1))] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is white.[(triple14)]