Bob is blue. Bob is furry. Bob is quiet. Bob is round. Bob is not smart. Bob is white. Bob is young. If Bob is furry and Bob is smart then Bob is round. If Bob is not white then Bob is not round. If Bob is smart and Bob is white then Bob is quiet. All white, round people are blue. If someone is furry then they are quiet. If Bob is quiet and Bob is not furry then Bob is young.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple6 triple4) -> rule4))] Bob is furry.[(triple2)] Bob is not smart.[(triple5)] Bob is quiet.[(triple3 OR ((triple2) -> rule5))] Bob is round.[(triple4)] Bob is white.[(triple6)] Bob is young.[(triple7)]