Anne is blue. Dave is furry. Gary is not rough. If Gary is blue then Gary is not big. All kind people are not green. If Dave is furry then Dave is big. All furry, blue people are young. If someone is big then they are not kind. If someone is big and not kind then they are rough.
Dave is kind.
@0: Anne is blue.[(triple1)] Dave is furry.[(triple2)] Gary is not rough.[(triple3)] @1: Dave is big.[(((triple2) -> rule3))] @2: Dave is not kind.[(((((triple2) -> rule3)) -> rule5))] @3: Dave is rough.[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule5)) -> rule6))]