Dave is blue. Dave is green. Dave is kind. Dave is rough. Dave is smart. Dave is white. Dave is young. All rough things are smart. If something is young and smart then it is blue. All smart things are blue. If Dave is young then Dave is smart. If Dave is kind then Dave is young. If something is green and not kind then it is white.
Dave is not blue.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule3) OR ((triple7 triple5) -> rule2) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple7) -> rule4)) -> rule3) OR ((triple7 ((triple4) -> rule1)) -> rule2) OR ((triple7 ((triple7) -> rule4)) -> rule2) OR ((((triple3) -> rule5) triple5) -> rule2) OR ((((triple3) -> rule5) ((triple4) -> rule1)) -> rule2) OR ((((triple3) -> rule5) ((triple7) -> rule4)) -> rule2) OR ((((((triple3) -> rule5)) -> rule4)) -> rule3) OR ((triple7 ((((triple3) -> rule5)) -> rule4)) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule2))] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5 OR ((triple4) -> rule1) OR ((triple7) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple3) -> rule5))]