Bob is cold. Bob is furry. Bob is not quiet. Bob is red. Bob is not round. Bob is white. Bob is young. If someone is round then they are quiet. Cold people are furry. If someone is red and not furry then they are not young.
Bob is not quiet.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule2))] Bob is not quiet.[(triple3)] Bob is not round.[(triple5)] Bob is red.[(triple4)] Bob is white.[(triple6)] Bob is young.[(triple7)]