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