Charlie is blue. Charlie is cold. Charlie is quiet. If Charlie is blue then Charlie is kind. If something is quiet and not cold then it is blue.
Charlie is not kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1))]