Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is round. Bob is white. Bob is young. Big things are cold.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule1))] Bob is furry.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]