Dave is blue. Dave is cold. Dave is green. If something is smart then it is furry. If something is cold then it is green. Cold, smart things are green. All furry things are white. If something is green then it is smart. All furry things are green. All cold, green things are rough. Cold things are green.
Dave is not white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple2) -> rule2) OR ((triple2) -> rule8))] @1: Dave is rough.[(((triple2 triple3) -> rule7) OR ((triple2 ((triple2) -> rule2)) -> rule7) OR ((triple2 ((triple2) -> rule8)) -> rule7))] Dave is smart.[(((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] @2: Dave is furry.[(((((triple3) -> rule5)) -> rule1) OR ((((((triple2) -> rule2)) -> rule5)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5)) -> rule1))] @3: Dave is white.[(((((((triple3) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule5)) -> rule1)) -> rule4))]