Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Charlie is young. Dave is not kind. Dave is not young. All red things are blue. Quiet things are not blue. If something is young and quiet then it is not rough.
Charlie is kind.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule1))] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is young.[(triple5)] Dave is not kind.[(triple6)] Dave is not young.[(triple7)]