Bob is big. Bob is not furry. Bob is not green. Bob is quiet. Bob is not red. Bob is rough. Bob is white. Dave is big. Dave is furry. Dave is not green. Dave is quiet. Dave is red. Dave is rough. Dave is white. All quiet people are white. If someone is white and green then they are red.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is not furry.[(triple2)] Bob is not green.[(triple3)] Bob is not red.[(triple5)] Bob is quiet.[(triple4)] Bob is rough.[(triple6)] Bob is white.[(triple7 OR ((triple4) -> rule1))] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is not green.[(triple10)] Dave is quiet.[(triple11)] Dave is red.[(triple12)] Dave is rough.[(triple13)] Dave is white.[(triple14 OR ((triple11) -> rule1))]