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