Anne is green. Anne is smart. Bob is green. Bob is round. Dave is red. Dave is smart. Dave is young. If Dave is white then Dave is round. White people are round. If Dave is smart then Dave is white. If someone is red and not smart then they are not blue. Round people are blue. If someone is red and not blue then they are green.
Bob is not blue.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] @1: Bob is blue.[(((triple4) -> rule5))] Dave is white.[(((triple6) -> rule3))] @2: Dave is round.[(((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule3)) -> rule2))] @3: Dave is blue.[(((((((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((triple6) -> rule3)) -> rule2)) -> rule5))]