Charlie is round. If Charlie is round then Charlie is young. If something is kind then it is white. If Charlie is kind and Charlie is round then Charlie is rough.
Charlie is not blue.
@0: Charlie is round.[(triple1)] @1: Charlie is young.[(((triple1) -> rule1))]