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