Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is white. Rough, smart people are white.
Bob is rough.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple5 triple6) -> rule1))]