Bob is not blue. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is round. Green, furry people are rough. If someone is furry then they are rough. All furry people are rough. Blue people are green. If someone is quiet and not rough then they are not round. If someone is rough then they are round.
Bob is not quiet.
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not blue.[(triple1)] Bob is quiet.[(triple5)] Bob is rough.[(triple6 OR ((triple2) -> rule2) OR ((triple2) -> rule3) OR ((triple3 triple2) -> rule1))] Bob is round.[(triple7 OR ((triple6) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple3 triple2) -> rule1)) -> rule6))] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple8) -> rule4))] Charlie is nice.[(triple11)] Charlie is not quiet.[(triple12)] Charlie is rough.[(triple13 OR ((triple9) -> rule2) OR ((triple9) -> rule3) OR ((triple10 triple9) -> rule1) OR ((((triple8) -> rule4) triple9) -> rule1))] Charlie is round.[(triple14 OR ((triple13) -> rule6) OR ((((triple9) -> rule2)) -> rule6) OR ((((triple9) -> rule3)) -> rule6) OR ((((triple10 triple9) -> rule1)) -> rule6) OR ((((((triple8) -> rule4) triple9) -> rule1)) -> rule6))]