Dave is rough. Harry is red. If Dave is rough then Dave is not kind. If someone is white and not rough then they are round. All white people are round. If Harry is white and Harry is kind then Harry is round. Green, round people are red. All kind, rough people are smart. Red, round people are not smart. If Harry is red then Harry is white.
Dave is green.
@0: Dave is rough.[(triple1)] Harry is red.[(triple2)] @1: Dave is not kind.[(((triple1) -> rule1))] Harry is white.[(((triple2) -> rule8))] @2: Harry is round.[(((((triple2) -> rule8)) -> rule3))] @3: Harry is not smart.[(((triple2 ((((triple2) -> rule8)) -> rule3)) -> rule7))]