Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is white. All red, kind things are quiet.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5 triple3) -> rule1))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is quiet.[(triple11 OR ((triple12 triple10) -> rule1))] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14)]