Bob is not big. Bob is not cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is young. Red, young people are green.
Bob is not furry.
@0: Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple6 triple7) -> rule1))] Bob is not big.[(triple1)] Bob is not cold.[(triple2)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7)]