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 nice.
@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)]