Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is not smart. Dave is white. Harry is not kind. Harry is nice. Harry is quiet. Harry is round. Harry is white. If Dave is green then Dave is quiet. All white, smart people are round. Nice, green people are round.
Harry is not smart.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not smart.[(triple6)] Dave is quiet.[(triple4 OR ((triple1) -> rule1))] Dave is round.[(triple5 OR ((triple3 triple1) -> rule3))] Dave is white.[(triple7)] Harry is nice.[(triple9)] Harry is not kind.[(triple8)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]