Bob is big. Bob is blue. Bob is nice. Bob is round. Bob is smart. Bob is white. Bob is young. If someone is smart and big then they are blue.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple5 triple1) -> rule1))] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]