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 not cold.
@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)]