Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is white. Bob is young. If Bob is quiet then Bob is white. If Bob is cold then Bob is furry.
Bob is white.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule2))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6 OR ((triple4) -> rule1))] Bob is young.[(triple7)]