Charlie is smart. Charlie is not young. Dave is blue. Dave is green. Dave is not smart. Dave is not white. Dave is young. If someone is green and not young then they are smart. If someone is kind and not young then they are not smart. All blue people are not furry.
Charlie is not furry.
@0: Charlie is not young.[(triple2)] Charlie is smart.[(triple1)] Dave is blue.[(triple3)] Dave is green.[(triple4)] Dave is not smart.[(triple5)] Dave is not white.[(triple6)] Dave is young.[(triple7)] @1: Dave is not furry.[(((triple3) -> rule3))]