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