Charlie is green. Charlie is kind. Charlie is smart. Green people are not blue.
Charlie is not green.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is not blue.[(((triple1) -> rule1))]