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