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