Dave is furry. Dave is not green. Dave is not kind. If someone is furry then they are not white. If someone is kind then they are round. If someone is white then they are not round. Quiet, furry people are kind. All rough people are furry. If someone is round and not white then they are green.
Dave is not white.
@0: Dave is furry.[(triple1)] Dave is not green.[(triple2)] Dave is not kind.[(triple3)] @1: Dave is not white.[(((triple1) -> rule1))]