Charlie is blue. Charlie is cold. Charlie is quiet. Green people are kind. If someone is cold and not quiet then they are not kind. If Charlie is blue then Charlie is red.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is red.[(((triple1) -> rule3))]