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