Bob is big. Bob is blue. Bob is cold. Bob is not furry. Bob is quiet. Bob is smart. Bob is white. White things are smart. All furry, cold things are big.
Bob is not cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is not furry.[(triple4)] Bob is quiet.[(triple5)] Bob is smart.[(triple6 OR ((triple7) -> rule1))] Bob is white.[(triple7)]