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