Bob is big. Bob is blue. Bob is furry. Bob is not kind. Bob is not nice. Bob is quiet. Bob is white. If Bob is furry and Bob is white then Bob is blue.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple7) -> rule1))] Bob is furry.[(triple3)] Bob is not kind.[(triple4)] Bob is not nice.[(triple5)] Bob is quiet.[(triple6)] Bob is white.[(triple7)]