Charlie is blue. Charlie is green. Charlie is rough. Charlie is smart. Dave is blue. Dave is green. Dave is rough. Dave is young. Harry is rough. Harry is young. If Charlie is rough and Charlie is smart then Charlie is green.
Dave is white.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple3 triple4) -> rule1))] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)]