Anne is blue. Charlie is not white. Dave is red. Red things are blue. Kind, big things are not blue.
Dave is big.
@0: Anne is blue.[(triple1)] Charlie is not white.[(triple2)] Dave is red.[(triple3)] @1: Dave is blue.[(((triple3) -> rule1))]