Bob is big. Bob is cold. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is smart. All quiet, cold people are big.
Bob is cold.
@0: Bob is big.[(triple1 OR ((triple4 triple2) -> rule1))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)]