Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is not smart. Furry things are blue. If something is smart and quiet then it is green.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3) -> rule1))] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is not smart.[(triple7)] Bob is quiet.[(triple6)]