Bob is not blue. Bob is furry. Bob is green. Bob is not kind. Bob is not quiet. Bob is rough. Bob is not round. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. If Bob is kind then Bob is rough. All blue people are green.
Dave is not rough.
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not blue.[(triple1)] Bob is not kind.[(triple4)] Bob is not quiet.[(triple5)] Bob is not round.[(triple7)] Bob is rough.[(triple6)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((triple8) -> rule2))] Dave is kind.[(triple11)] Dave is quiet.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14)]