Dave is blue. Dave is not furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. If something is kind then it is quiet. All rough things are quiet. If Dave is furry then Dave is rough. If Dave is nice and Dave is not kind then Dave is rough. All rough things are green. If something is kind then it is green. If Dave is kind and Dave is quiet then Dave is green. If Dave is kind then Dave is quiet.
Dave is not kind.
@0: Dave is blue.[(triple1)] Dave is green.[(triple3 OR ((triple4) -> rule6) OR ((triple7) -> rule5) OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple4) -> rule1)) -> rule7) OR ((triple4 ((triple4) -> rule8)) -> rule7) OR ((triple4 ((triple7) -> rule2)) -> rule7))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is not furry.[(triple2)] Dave is quiet.[(triple6 OR ((triple4) -> rule1) OR ((triple4) -> rule8) OR ((triple7) -> rule2))] Dave is rough.[(triple7)]