Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is rough. Bob is white. Bob is young. All rough, blue people are young. Cold people are green.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule2))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple5 triple2) -> rule1))]