Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is young. If Bob is young then Bob is quiet.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple7) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]