Bob is big. Bob is cold. Bob is nice. Bob is red. Bob is smart. Bob is not white. Bob is young. Young, big people are smart. If someone is big then they are cold. If someone is big and not smart then they are white.
Bob is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule2))] Bob is nice.[(triple3)] Bob is not white.[(triple6)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple7 triple1) -> rule1))] Bob is young.[(triple7)]