Charlie is cold. If someone is cold then they are not kind. If someone is rough and not kind then they are quiet. All kind, quiet people are nice.
Charlie is round.
@0: Charlie is cold.[(triple1)] @1: Charlie is not kind.[(((triple1) -> rule1))]