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