Anne is quiet. Anne is not red. Anne is rough. Bob is furry. Bob is not quiet. Bob is red. Bob is rough. Bob is white. Charlie is big. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Dave is furry. Dave is white. If someone is red then they are furry. If Charlie is not furry and Charlie is not red then Charlie is rough.
Anne is not furry.
@0: Anne is not red.[(triple2)] Anne is quiet.[(triple1)] Anne is rough.[(triple3)] Bob is furry.[(triple4 OR ((triple6) -> rule1))] Bob is not quiet.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Bob is white.[(triple8)] Charlie is big.[(triple9)] Charlie is quiet.[(triple10)] Charlie is rough.[(triple11)] Charlie is white.[(triple12)] Charlie is young.[(triple13)] Dave is furry.[(triple14)] Dave is white.[(triple15)]