Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is young. Big, young things are quiet.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple1 triple7) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]