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