Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is white. Bob is young. All white people are kind.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple6) -> rule1))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]