Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. All young, kind people are red.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple7 triple3) -> rule1))] Charlie is rough.[(triple6)] Charlie is young.[(triple7)]