Dave is rough. Red things are not kind. All furry things are not kind. If something is green and furry then it is red. If Dave is rough then Dave is green. Green things are furry. If something is kind then it is rough.
Dave is not green.
@0: Dave is rough.[(triple1)] @1: Dave is green.[(((triple1) -> rule4))] @2: Dave is furry.[(((((triple1) -> rule4)) -> rule5))] @3: Dave is not kind.[(((((((triple1) -> rule4)) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule1))] Dave is red.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule3))]