Dave is furry. All furry people are green. If someone is round and not rough then they are not green. If Dave is kind then Dave is blue. If someone is green and not rough then they are big. All round people are big. If Dave is furry and Dave is blue then Dave is green.
Dave is furry.
@0: Dave is furry.[(triple1)] @1: Dave is green.[(((triple1) -> rule1))]