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 red.
@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)]