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