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