Anne is kind. Bob is not nice. Charlie is not blue. Charlie is kind. Charlie is red. Charlie is smart. Dave is smart. If something is kind then it is young. If something is smart and blue then it is kind. If something is white and not red then it is kind.
Dave is not young.
@0: Anne is kind.[(triple1)] Bob is not nice.[(triple2)] Charlie is kind.[(triple4)] Charlie is not blue.[(triple3)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Dave is smart.[(triple7)] @1: Anne is young.[(((triple1) -> rule1))] Charlie is young.[(((triple4) -> rule1))]