Dave is big. Dave is green. Dave is round. If Dave is smart then Dave is big. If someone is big then they are furry. All young, blue people are smart. If Dave is big then Dave is young. All green people are furry. All blue people are young. Smart people are big. If Dave is furry and Dave is young then Dave is blue.
Dave is not blue.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is round.[(triple3)] @1: Dave is furry.[(((triple1) -> rule2) OR ((triple2) -> rule5))] Dave is young.[(((triple1) -> rule4))] @2: Dave is blue.[(((((triple1) -> rule2) ((triple1) -> rule4)) -> rule8) OR ((((triple2) -> rule5) ((triple1) -> rule4)) -> rule8))] @3: Dave is smart.[(((((triple1) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule4)) -> rule8)) -> rule3) OR ((((triple1) -> rule4) ((((triple2) -> rule5) ((triple1) -> rule4)) -> rule8)) -> rule3))]