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