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