Bob is green. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Blue things are quiet. If Bob is not blue and Bob is not quiet then Bob is white.
Bob is not quiet.
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7)] Charlie is quiet.[(triple8 OR ((triple6) -> rule1))] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Charlie is young.[(triple12)]