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