Bob is green. Dave is blue. Gary is green. All white people are furry. If someone is white then they are green. Blue people are white. If someone is smart then they are furry. If Dave is red then Dave is furry. If someone is smart and furry then they are green.
Dave is white.
@0: Bob is green.[(triple1)] Dave is blue.[(triple2)] Gary is green.[(triple3)] @1: Dave is white.[(((triple2) -> rule3))] @2: Dave is furry.[(((((triple2) -> rule3)) -> rule1))] Dave is green.[(((((triple2) -> rule3)) -> rule2))]