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