Dave is green. If Dave is red and Dave is white then Dave is not smart. If someone is big and not green then they are white. If someone is green then they are white. All green, furry people are red. If someone is blue then they are smart. If someone is big and not red then they are not smart.
Dave is not red.
@0: Dave is green.[(triple1)] @1: Dave is white.[(((triple1) -> rule3))]