Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is round. Bob is white. Bob is young. If Bob is young then Bob is cold. Cold, blue people are furry. If Bob is blue and Bob is not white then Bob is furry.
Bob is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple7) -> rule1))] Bob is furry.[(triple4 OR ((triple3 triple2) -> rule2) OR ((((triple7) -> rule1) triple2) -> rule2))] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]