Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is young. If Bob is not rough then Bob is quiet. All rough things are young.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple5) -> rule2))]