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