Bob is blue. Bob is furry. Bob is nice. Bob is not round. Bob is smart. Bob is white. Bob is young. All white, smart things are young.
Bob is not round.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple5) -> rule1))]