Anne is green. Anne is nice. Anne is smart. Anne is not white. Charlie is smart. Dave is big. Dave is green. Dave is kind. Dave is nice. Harry is kind. All nice, kind people are white.
Harry is not white.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple4)] Anne is smart.[(triple3)] Charlie is smart.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Harry is kind.[(triple10)] @1: Dave is white.[(((triple9 triple8) -> rule1))]