Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is white. Nice things are cold. If Bob is big and Bob is furry then Bob is quiet. White, big things are quiet.
Bob is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple5) -> rule1))] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6 OR ((triple1 triple3) -> rule2) OR ((triple7 triple1) -> rule3))] Bob is white.[(triple7)]