Charlie is kind. Charlie is nice. Charlie is not young. If Charlie is not white then Charlie is nice. If Charlie is kind then Charlie is red. If Charlie is white and Charlie is not red then Charlie is blue.
Charlie is kind.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is not young.[(triple3)] @1: Charlie is red.[(((triple1) -> rule2))]