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