Dave is green. If Dave is smart then Dave is not kind. If Dave is green then Dave is kind. If something is kind then it is furry. All green things are furry. If Dave is furry then Dave is round. All blue, furry things are not white. All white things are blue. If Dave is not furry then Dave is blue.
Dave is not green.
@0: Dave is green.[(triple1)] @1: Dave is furry.[(((triple1) -> rule4) OR ((((triple1) -> rule2)) -> rule3))] Dave is kind.[(((triple1) -> rule2))] @2: Dave is round.[(((((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule2)) -> rule3)) -> rule5))]