Anne is not nice. Anne is quiet. Bob is big. Bob is kind. Bob is nice. Dave is big. Dave is green. Dave is not kind. Dave is not nice. Dave is not quiet. Dave is not red. Dave is rough. All kind things are big.
Dave is quiet.
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2)] Bob is big.[(triple3 OR ((triple4) -> rule1))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is not kind.[(triple8)] Dave is not nice.[(triple9)] Dave is not quiet.[(triple10)] Dave is not red.[(triple11)] Dave is rough.[(triple12)]