Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is young. If someone is quiet then they are rough.
Bob is green.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple4) -> rule1))] Bob is young.[(triple7)]