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