Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is smart. Dave is white. Dave is young. If someone is cold then they are green. If someone is cold and white then they are blue. If someone is cold and smart then they are blue. If Dave is smart then Dave is blue. All furry people are green. All young people are smart.
Dave is not smart.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule4) OR ((triple2 triple5) -> rule3) OR ((triple2 triple6) -> rule2) OR ((((triple7) -> rule6)) -> rule4) OR ((triple2 ((triple7) -> rule6)) -> rule3))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((triple2) -> rule1) OR ((triple3) -> rule5))] Dave is smart.[(triple5 OR ((triple7) -> rule6))] Dave is white.[(triple6)] Dave is young.[(triple7)]