Charlie is green. Charlie is red. Charlie is round. Charlie is white. Dave is blue. Dave is furry. Dave is red. Dave is round. Dave is white. Dave is young. Harry is blue. Harry is furry. Harry is green. Harry is round. Harry is white. Harry is young. All blue, red people are round.
Charlie is not young.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8 OR ((triple5 triple7) -> rule1))] Dave is white.[(triple9)] Dave is young.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]