Bob is red. Dave is nice. All quiet, red people are kind. All nice, green people are kind. If someone is red and not big then they are not green. If someone is nice then they are green. If Bob is quiet then Bob is nice. If Dave is kind then Dave is not quiet.
Dave is green.
@0: Bob is red.[(triple1)] Dave is nice.[(triple2)] @1: Dave is green.[(((triple2) -> rule4))] @2: Dave is kind.[(((triple2 ((triple2) -> rule4)) -> rule2))] @3: Dave is not quiet.[(((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule6))]